-
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