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.
- No changelog available
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) |
| 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 | 2733 total (233 in last 30 days) |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Modules
[Index]
Downloads
- improve-0.1.5.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
Maintainers' corner
For package maintainers and hackage trustees