Cóctel II Es una herramienta para la verificación estadística formal de programas.
Descargar ahora

Cóctel II Clasificación y resumen

Cóctel II Etiquetas

Cóctel II Descripción

Cóctel II (por falta de un nombre mejor) es un proyecto de seguimiento de cócteles. Es una herramienta para la verificación estadística formal de programas. El idioma que actualmente es compatible es pequeño, pero ya demuestra algunas características interesantes, como tipos de datos recursivos. Comparte tu experiencia: Escribe una reseña sobre este programa

Cóctel II Software relacionado