Z3: La IA que comprueba si el código es correcto
Z3, una IA de Microsoft Research, verifica automáticamente declaraciones lógicas y código complejo. Esto hace el software y los sistemas críticos más fiables al detectar errores temprano.
Imagina una IA súper inteligente que verifica automáticamente código complejo o declaraciones lógicas. Esa es Z3, una herramienta potente de Microsoft Research. Fue lanzada en 2008. Actúa como un detective digital, asegurando que un conjunto de reglas lógicas pueda ser verdadero a la vez. Esto elimina la necesidad de pruebas manuales humanas.
Hay más sobre esta historia — abre la app para seguir leyendo.
Seguir Leyendo en la App
2 párrafos más · más un cuestionario de 3 preguntas