Analyzer Component Framework 0.1

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

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