Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for apalache
apalache
x
5 search results found
Quint
⭐
540
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apalache
⭐
387
APALACHE: symbolic model checker for TLA+ and Quint
Modelator Py
⭐
26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Tla Apalache Workshop
⭐
19
Material for a workshop on Apalache and TLA+. To be populated with more examples.
Apalache Tests
⭐
5
Benchmarks for apalache
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.