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.
historial de versiones
- Versión N/A publicado en 2006-10-09
Varias correcciones y actualizaciones - Versión N/A publicado en 2006-10-09
Detalles del programa
- Categoría: Comunicaciones > Otro
- Editor: est.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows