theta
ftsrg
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
52
Stars
45
Forks
52
Watchers
Java
Language
apache-2.0
License
Growth over time
7 data points · 2021-08-01 → 2025-06-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about theta
Question copied to clipboardWhat is the ftsrg/theta GitHub project? Description: "Generic, modular and configurable formal verification framework supporting various formalisms and algorithms". Written in Java. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone theta
Clone via HTTPS
git clone https://github.com/ftsrg/theta.git
Clone via SSH
[email protected]:ftsrg/theta.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the theta issue tracker:
Open GitHub Issues