Programmes par est.sf.net

Efficient Symbolic Tools package (EST) est un outil basé sur bdd pour la vérification formelle des systèmes simultanés. Ses avantages sont la flexibilité, la portabilité et une gestion efficace de la mémoire. Il fonctionne so