~tapaal-ltl/verifypn/fireable-empty-preset-fix

Viewing all changes in revision 246.

  • 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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: