Modeling Language
| Tool | Description |
|---|---|
| JANI | The JANI specification defines the jani-model model interchange format and the jani-interaction tool … |
| LEAN | cvc5 is an automatic theorem prover for SMT problems. |
| TLA+ | TLA+ is a high-level language for modeling programs and systems–especially concurrent and … |