This shows you the differences between two versions of the page.

Link to this comparison view

cs-486:ctl-homework-11 [2018/12/04 08:57]
egm created
cs-486:ctl-homework-11 [2018/12/04 08:59] (current)
Line 1: Line 1:
 +* Turn CTL formulas into expression trees
 +* Convert CTL formulas into equivalent formulas with only EX, EU, and EG for path-temporal operators
 +* Build label sets given a transition system and CTL formula
 +* Show how to use least and greatest fix-points to do CTL model checking
 == Problems == == Problems ==
cs-486/ctl-homework-11.txt ยท Last modified: 2018/12/04 08:59 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0