2 results found Sort:

fizzbee-io
fizzbee fizzbee-io
8
156
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
96 commits to main branch, last one 8 days ago
ElliotSwart
pragmaticformalmodeling ElliotSwart
2
43
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