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

Versions0.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
Change logNone available
Dependenciesbase (>=4.0 && <5), mtl (>=1.1.0.1 && <2.1), yices (>=0.0.0.7 && <0.0.1)
LicenseBSD3
AuthorTom Hawkins <tomahawkins@gmail.com>
MaintainerTom Hawkins <tomahawkins@gmail.com>
CategoryLanguage, Formal Methods, Embedded
Home pagehttp://tomahawkins.org
Source repositoryhead: git clone git://github.com/tomahawkins/improve.git
UploadedWed Dec 8 19:11:15 UTC 2010 by TomHawkins
DistributionsNixOS:0.4.0
Downloads3717 total (182 in last 30 days)
StatusDocs not available [build log]
Last success reported on 2015-06-02 [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees