Publisher review:Computation Tree Logic - A Matlab package for verifying CTL properties 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
Computation Tree Logic is a Matlab script for Controls and Systems Modeling scripts design by Zhi Han.
It runs on following operating system: Windows / Linux / Mac OS / BSD / Solaris.
Computation Tree Logic - A Matlab package for verifying CTL properties
Operating system:Windows / Linux / Mac OS / BSD / Solaris
Computation Tree Logic script details 
