UPPAAL 4.0.6

UPPAAL es un entorno integrado de herramientas para el modelado, la validación y verificación de los sistemas de tiempo real modeladas como redes de autómatas cronometrada, extendido con tipos de datos (enteros delimitadas, matrices, etc.).UPPAAL CORA es...