Efficient Symbolic Tools
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 3.5/5 - 8 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Efficient Symbolic Tools
Efficient Symbolic Tools package (EST) è uno strumento basato su BDD per la verifica formale dei sistemi simultanei. I suoi vantaggi sono la flessibilità, la portabilità e un'efficiente gestione della memoria. Funziona sotto diversi sistemi operativi, tra cui Linux e Windows 2000/XP.