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