Optimizing CTL Model checking + Model checking TCTL CS 5270 Lecture 9 A(FG p) not AF( AG p) Today… Summary Optimizations for model checking ROBDDs TCTL- Syntax Semantics…
