ACF é uma estrutura para escrever verificadores de modelos. ACF é construído sobre a observação fundamental de que a estrutura da maioria algoritmos de verificação de modelos é independente do formalismo usado para descrever o sistema.
história da versão
- Versão 0.1 postado em 2000-03-21
Várias correções e atualizações - Versão 0.1 postado em 2000-03-21
Detalhes do programa
- Categoria: Educação > Outros
- Editor: aiken.cs.abo.fi/acf
- Licença: Livre
- Preço: N/A
- Versão: 0.1
- Plataforma: linux