1 result 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 7 hours ago