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> |
| 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 | 5932 total (48 in the last 30 days) |
| Votes | |
| Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |
Downloads
- improve-0.1.5.tar.gz [browse] (Cabal source package)
- Package description (included in the package)