@hackage afv0.1.1

Infinite state model checking of iterative C programs.

Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.1.1 Wed, 31 Mar 2010
- 0.1.0 Mon, 25 Jan 2010
- 0.0.4 Thu, 21 Jan 2010
- 0.0.3 Tue, 19 Jan 2010
- 0.0.2 Sun, 17 Jan 2010
- 0.0.1 Thu, 14 Jan 2010

Installation
In your cabal file:
Dependencies (0)
- base >=4 && <5
- bytestring >=0.9 && <1.0
- directory >=1.0 && <1.1
- language-c >=0.3.1.1
- mtl >=1.1 && <1.2
- process >=1.0 && <1.1
Dependents (1)
@hackage/acme-everything

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