CTL Model Checking

CADgroup

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

Contact 
©2002-2018 U.C. Regents