The ctlp package
Routines for parsing, writing and accessing CTL formulas.
By Gary York, Ramin Hojati, Tom Shiple, Adnan Aziz, Yuji Kukimoto,
Jae-Young Jang, In-Ho Moon
This package implements a parser for CTL (Computation Tree
Logic) formulas. CTL is a language used to describe properties of systems.
For the syntax of CTL formulas, refer to
the VIS CTL and LTL syntax manual.
Last updated on 20050519 00h50