Gypsy verification environment
0 entorno de verificación Gypsy
Metodología, lenguaje y conjunto integrado de herramientas de software desarrollado en la Universidad de Texas para especificar, codificar y verificar software para producir programas correctos y confiables.
