Efficient Symbolic Tools
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 3.5/5 - 8 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
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.