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 && <2.1), yices (>=0.0.0.7 && <0.0.1) [details] |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Stability | Unknown |
| Category | Language, Formal Methods, Embedded |
| Home page | http://tomahawkins.org |
| Source repository | head: git clone git://github.com/tomahawkins/improve.git |
| Uploaded | Tue Nov 23 17:32:08 UTC 2010 by TomHawkins |
| Distributions | NixOS:0.4.0 |
| Downloads | 5423 total (44 in the last 30 days) |
| Votes | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Downloads
- improve-0.1.5.tar.gz [browse] (Cabal source package)
- Package description (included in the package)