TAPAAL3.9.3

TAPAAL permite a los usuarios construir modelos formales de sistemas cuyo comportamiento depende del tiempo, utilizando las redes Timed-Arc Petri. Sus funciones de modelado describen estas redes en una forma estructurada adecuada para un análisis preciso. Los usuarios pueden simular un modelo para examinar cómo se comporta a medida que avanza el tiempo. También pueden verificar las propiedades formales, yendo más allá de la observación para evaluar si el modelo satisface las condiciones definidas.

Al combinar modelado, simulación de tiempo y verificación, TAPAAL admite un flujo de trabajo completo para estudiar el comportamiento formal de un sistema. Está destinado a estudiantes, instructores y otros que trabajan con el modelado formal de la informática, especialmente cuando el tiempo debe ser representado explícitamente. Los usos típicos incluyen ejercicios educativos en los que se modela un sistema, se explora su ejecución y se verifican sus propiedades. El software se desarrolló en el Departamento de Ciencias de la Computación de la Universidad de Aalborg en Dinamarca.

TAPAAL es publicado por Kenneth Yrke Joergensen, y la versión actual es 3.9.3. Funciona en Linux, requiere snapd, y soporta la arquitectura amd64. Clasificado como Educación, se distribuye como freeware en lugar de a través de una licencia de software pagada.