atl_check - Model check ATL formula


atl_check [-h] <module> <formula> [<formula> ...]

Model check ATL formula. Command Options:

-h
Prints the usage of the command.

Last updated on 980624 22h10