search

hbgit / depthk

K-Induction adopting program invariants
GNU General Public License v2.0
8 stars 1 forks source link

Feature kind invs #1

Closed WilliameRocha closed 7 years ago