GitHub repository: mtygesen/tapaal-gui
Primary language: Java
Description: TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.