Computation Tree Logic

Computation tree logic (CTL) is a temporal logic used in formal verification of state machines. This package implements the basic CTL model checking algorithm using labels. The content of this package is taken from the package CheckMate and restructured to use independently.

Requirements:

· MATLAB Release: R2007a