3 results found Sort:
The Ultimate program analysis framework.
Created
2015-09-10
29,795 commits to dev branch, last one 5 days ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
121 commits to main branch, last one 8 days ago
Natural Language (NL) to Linear Temporal Logic (LTL)
Created
2022-09-15
92 commits to main branch, last one 10 months ago