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