-
Committer:
Jiri Srba
-
Date:
2021-08-05 19:57:19 UTC
-
mfrom:
(234.1.39 ltl-spring-2021)
-
Revision ID:
srba@cs.aau.dk-20210805195719-tyf98wgglgn8xd0d
merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation