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.2 & <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 |
| Home page | http://tomahawkins.org |
| Source repository | git clone git://github.com/tomahawkins/atom.git |
| Upload date | Mon Aug 16 03:11:27 UTC 2010 |
| Uploaded by | TomHawkins |
| Built on | ghc-6.12 |
Modules
Downloads
- improve-0.0.10.tar.gz (Cabal source package)
- package description (included in the package)