search

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

Clean zeta-merge branch #276

Closed mondokm closed 4 months ago

mondokm commented 4 months ago

Move cleaned zeta-merge branch to main repo.