The improve package
ImProve is an imperative programming language for high assurance applications. ImProve uses infinite state, unbounded model checking to verify programs adhere to specifications, which are written in the form of assertion statements. Yices (required) is the backend SMT solver.
Properties
| Versions | 0.0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9, 0.0.10, 0.0.11, 0.0.12, 0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.4.0 |
|---|---|
| Dependencies | base (≥4.0 & <5), mtl (≥1.1.0.1 & <1.2), yices (≥0.0.0.7 & <0.0.1) |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Language, Formal Methods, Embedded |
| Home page | http://tomahawkins.org |
| Source repository | git clone git://github.com/tomahawkins/improve.git |
| Upload date | Fri Nov 19 05:08:48 UTC 2010 |
| Uploaded by | TomHawkins |
| Built on | ghc-7.0 |
Modules
Downloads
- improve-0.1.3.tar.gz (Cabal source package)
- package description (included in the package)