Efficient Symbolic Tools
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.5/5 - 8 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Efficient Symbolic Tools
El paquete Efficient Symbolic Tools (EST) es una herramienta basada en BDD para la verificación formal de sistemas simultáneos. Sus ventajas son la flexibilidad, la portabilidad y una gestión eficiente de la memoria. Se ejecuta bajo diferentes sistemas operativos, incluyendo Linux y Windows 2000/XP.