MoXI, which stands for Model Exchange Interlingua, is an intermediate language meant to be a common input and output standard for model checkers for finite- and infinite-state systems,
See here for a description of the language.
-
Notifications
You must be signed in to change notification settings - Fork 2
ModelChecker/IL
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Description of Model Checking Intermediate Language
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published