~verifypn-stub/verifypn/encoder-fix

Viewing all changes in revision 193.

  • Committer: Jiri Srba
  • Date: 2018-01-04 10:34:16 UTC
  • mfrom: (190.4.12 ctlse)
  • Revision ID: srba.jiri@gmail.com-20180104103416-fjdk15rww3vrbv4k
merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: