The ltl package
Routines to handle with LTL model checking.
By Marco Roveri
Here we perform the reduction of LTL model checking to
CTL model checking. The technique adopted has been taken from [1].
- O. Grumberg E. Clarke and K. Hamaguchi. "Another Look at LTL Model Checking".
Formal Methods in System Design, 10(1):57--71, February 1997.
Last updated on 2012/11/18 14h:37