-
CommandCheckLtlSpec()
- Performs LTL model checking
-
Ltl_Init()
- Initializes the ltl package.
-
check_LtlSpecInt()
- Verifies if M,s_0 |= LTL2CTL
-
check_ltlspec()
- The main routine to perform LTL model checking.
-
print_ltlspec()
- Print the LTL specification.
-
()
- The LTL to NuSMV translator.
Last updated on 990908 16h51