Programas por est.sf.net

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 ejecu