Programma's van est.sf.net

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 v