Efficient Symbolic Tools

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.5/5 - ‎8 ‎Votos

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.