https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml
https://github.com/isaac-defrain/apalache-interface

apalache ocaml tla tlaplus

Last synced: about 2 months ago
JSON representation

Interface files for the Apalache symbolic model checker reminiscent of OCaml

• Host: GitHub
• URL: https://github.com/isaac-defrain/apalache-interface
• Owner: Isaac-DeFrain
• License: apache-2.0
• Created: 2022-09-01T23:39:34.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-09-01T23:49:50.000Z (over 2 years ago)
• Last Synced: 2023-03-06T13:57:27.284Z (almost 2 years ago)
• Topics: apalache, ocaml, tla, tlaplus
• Language: OCaml
• Homepage:
• Size: 12.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project