Search Results - RepositoryStats

41

199

unknown

31

The Ultimate program analysis framework.

ltl automata termination reachability model-checking program-analysis software-analysis

Created 2015-09-10

29,720 commits to dev branch, last one 12 hours ago

8

159

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

97 commits to main branch, last one 15 days ago

10

63

mit

5

Natural Language (NL) to Linear Temporal Logic (LTL)

ltl ltlf declare ibm-research-ai linear-temporal-logic nautral-language-processing

Created 2022-09-15

92 commits to main branch, last one 9 months ago