BMC, k-induction - Githubissues

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

Closed leventeBajczi closed 2 weeks ago