Programas por est.sf.net

O pacote De Ferramentas Simbólicas Eficientes (EST) é uma ferramenta baseada em BDD para a verificação formal de sistemas simultâneos. As suas vantagens são a flexibilidade, a portabilidade e uma gestão eficiente da memória.