TAPAAL Model Checker
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms.
Wikipage redirect
primaryTopic
TAPAAL Model Checker
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms.
has abstract
TAPAAL is a tool for modelling ...... he UPPAAL verification engine.
@en
genre
language
latest release version
license
operating system
Link from a Wikipage to an external page
Wikipage page ID
34,662,092
Wikipage revision ID
725,154,202
programming language
C++ and GUI in Java
subject
comment
TAPAAL is a tool for modelling ...... indows and Mac OS X platforms.
@en
label
TAPAAL Model Checker
@en
wasDerivedFrom
homepage
isPrimaryTopicOf
name
TAPAAL
@en