Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

251 stars 18 forks 251 watchers Python Apache License 2.0
alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus
1 Open Issue Need Help Last updated: Sep 7, 2025

Open Issues Need Help

View All on GitHub
VS Code Plugin about 2 months ago
enhancement help wanted

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Python
#alloy#alloy-analyzer#formal-languages#formal-methods#formal-verification#ltl#pluscal#prism#tla#tla-plus#tlaplus