ftsrg

ftsrg/theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

1 good first / help-wanted issue · Java · last activity Sep 28, 2026

67 stars 54 forks 67 watchers Java Apache License 2.0
abstraction model-checking research tool
View on GitHub Website
1 Open Issue Need Help Last updated: Sep 28, 2026

Open Issues Need Help

View All on GitHub
Suggestion to improve implementation of IMC 26 days ago
enhancement help wanted core needs engineering
ftsrg/theta
67

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Java
#abstraction#model-checking#research#tool