GitHub repository: tand00/verifydtapn
Primary language: C++
Description: Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.