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].
  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 2009/01/30 14h:53