Resultado de la búsqueda: verificabilidad del software