The improve package

[Tags:bsd3, library]

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) [details]
License BSD3
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Stability Unknown
Category Language
Home page http://tomahawkins.org
Source repository head: git clone git://github.com/tomahawkins/atom.git
Uploaded Mon Aug 16 03:11:27 UTC 2010 by TomHawkins
Distributions NixOS:0.4.0
Downloads 5623 total (122 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees