2 results found Sort:

fizzbee-io
fizzbee fizzbee-io
6
106
apache-2.0
5
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
ltl tla alloy prism pluscal tlaplus tla-plus alloy-analyzer formal-methods formal-languages formal-verification
Created 2024-03-26
58 commits to main branch, last one 6 hours ago
ElliotSwart
pragmaticformalmodeling ElliotSwart
2
42
mit
3
An instructional website with progressively worked examples of TLA+ specifications and model checking.
tla-plus formal-methods tla-specification formal-verification
Created 2022-06-10
7 commits to main branch, last one 2 years ago