Efficient Symbolic Tools package (EST) is een BDD-gebaseerd instrument voor de formele verificatie van gelijktijdige systemen. De voordelen zijn flexibiliteit, draagbaarheid en een efficiënt geheugenbeheer. Het draait onder verschillende OS, met inbegrip van Linux en Windows 2000/XP.
versiegeschiedenis
- Versie N/A geplaatst op 2006-10-09
Verschillende oplossingen en updates - Versie N/A geplaatst op 2006-10-09
Programmadetails
- Categorie: Communicatie > Andere
- Publisher: est.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows