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++

Issues

Wrong answer for timed games
#38 opened a year ago
1
Wrong AF verification answer
#37 opened a year ago
1
ERROR: Zero color constituents
#35 opened a year ago
1
Exporter uses inscription instead of weight for setting weight for output arcs
#28 opened 2 years ago
0
Update readme file
#25 opened 2 years ago
1
Improve output of tool for wrongly formated switches
#24 opened 2 years ago
0
Is not picking-up version from CMake
#17 opened 3 years ago
0
Strategy output and Ptrie conflict
#4 opened 4 years ago
0
Wrong POR in 3.4.1
#2 opened 4 years ago
0