@hackage afv0.1.0

Infinite state model checking of iterative C programs.

AFV is an infinite state model checker that verifies iterative C programs by k-induction. AFV uses Yices as the backend SMT solver.