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. Yices (required) is the backend SMT solver. ImProve compiles to C, Ada, Simulink, and Modelica.
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://github.com/tomahawkins/improve/wiki/ImProve |
| Source repository | git clone git://github.com/tomahawkins/improve.git |
| Upload date | Fri Jul 29 13:47:44 UTC 2011 |
| Uploaded by | TomHawkins |
| Built on | ghc-7.0 |
Modules
Downloads
- improve-0.4.0.tar.gz (Cabal source package)
- package description (included in the package)