2 results found Sort:

fizzbee-io
fizzbee fizzbee-io
9
160
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
100 commits to main branch, last one 3 days ago
ElliotSwart
pragmaticformalmodeling ElliotSwart
2
44
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