The ctlsp package

Routines for parsing, writing and accessing CTL* formulas.

This package implements a parser for CTL* formulas. CTL* is a language used to describe properties of systems.

Last updated on 20050519 00h50