TAPAAL/verifydtapn
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.
C++
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.
C++