CTL Model Checking
Example System :
Block Diagram of TLC
Example Properties for TLC
Branching View of Time
What is Model Checking?
Traces
CTL Formulae
Examples of CTL formulae
Truth Value of CTL Formulae
Debug traces
Infinite Debug Traces
Example: Bus Arbiter
CTL Model checking in VIS