improve: An imperative, verifiable programming language for high assurance applications.

[ bsd3, embedded, formal-methods, language, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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 && <1.2), yices (>=0.0.0.7 && <0.0.1) [details]
License BSD-3-Clause
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Category Language, Formal Methods, Embedded
Home page http://tomahawkins.org
Source repo head: git clone git://github.com/tomahawkins/improve.git
Uploaded by TomHawkins at 2010-11-22T17:03:50Z
Distributions
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 19607 total (43 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]