![](/statics/img/blank.png)
Efficient Symbolic Tools
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 3.5/5 - 8 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Efficient Symbolic Tools
Pakiet Efficient Symbolic Tools (EST) jest narzędziem opartym na BDD do formalnej weryfikacji równoczesnych systemów. Jego zalety to elastyczność, przenośność i wydajne zarządzanie pamięcią. Działa w różnych systemach operacyjnych, w tym Linux i Windows 2000/XP.