Efficient Symbolic Tools
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 3.5/5 - 8 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Efficient Symbolic Tools
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.