apalache

There are 10 repositories under apalache topic.

informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript842 23 70538
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala443 9 1.2k40
informalsystems/modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Language:Python29 22 473
informalsystems/tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
22 27 05
apalache-mc/apalache-tests
Benchmarks for apalache
Language:SMT6 22 152
informalsystems/itf-rs
Rust library for consuming Apalache ITF traces
Language:Rust5 4 31
konnov/tlaki
TLAki: Little cute typed definitions in TLA+
Language:TLA5 1 00
konnov/apalache-examples
Examples of efficiently using Apalache
Language:TLA3 2 0
Double-oxygeN/Raft.tla
TLA+ Specification of Raft Consensus Algorithm
Language:TLA2 0
Isaac-DeFrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Language:OCaml3 0