Programy według est.sf.net

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 operacy