Apalache

https://github.com/apalache-mc/apalache

Apalache is a symbolic model checker for TLA+ that translates TLA+ specifications into logic...

Tokens:229,371
Snippets:3,070
Trust Score:5.2
License:Apache-2.0
Update:5 days ago
Tokens:
Raw