Efficient Symbolic Tools

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.5/5 - ‎8 ‎Votos

Sobre Efficient Symbolic Tools

O efficient Symbolic Tools package (EST) é uma ferramenta baseada em BDD para a verificação formal de sistemas simultâneos. Suas vantagens são flexibilidade, portabilidade e um gerenciamento eficiente de memória. Ele é executado em diferentes SO, incluindo Linux e Windows 2000/XP.