TAPAAL3.9.3

TAPAAL permite que os usuários construam modelos formais de sistemas cujo comportamento depende do tempo, usando redes Timed-Arc Petri. Suas funções de modelagem descrevem estas redes em uma forma estruturada adequada para análise precisa. Os usuários podem simular um modelo para examinar como ele se comporta à medida que o tempo avança. Podem também verificar propriedades formais, indo além da observação para avaliar se o modelo satisfaz condições definidas.

Combinando modelagem, simulação cronometrada e verificação, o TAPAAL suporta um fluxo de trabalho completo para estudar o comportamento formal de um sistema. Destina-se a estudantes, instrutores e outros que trabalham com modelagem formal de ciência da computação, especialmente quando o tempo deve ser representado explicitamente. Os usos típicos incluem exercícios educacionais em que um sistema é modelado, sua execução é explorada e suas propriedades são verificadas. O software foi desenvolvido no Departamento de Ciência da Computação da Universidade de Aalborg, na Dinamarca.

TAPAAL é publicado por Kenneth Yrke Joergensen, e a versão atual é 3.9.3. Ele é executado no Linux, requer encaixe, e suporta a arquitetura amd64. Classificado como Educação, é distribuído como freeware em vez de através de uma licença de software pago.