Análisis y verificación de artefactos de software