Package edu.toronto.cs.modelchecker

Interface Summary
CTLReWriter  
ModelCompiler  
StatePresenter Converts an collection of variable, value assignment to a set of CTL expressions that evaluate to top on this assignment, and to bot on any other assignment
 

Class Summary
CloningRewriter  
CTLUntilExpander  
CTLWeakUntilExpander  
ExistentialRewriter  
MvSetModelChecker ModelChecker engine
NormalFormRewriter  
SyntaxChecker  
XKripkeStructure A structure over which we do model checking, every model is compiled into this