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

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

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.

Modules

[Last Documentation]

Language
- Language.ImProve
  - Language.ImProve.Code
  - Language.ImProve.Core
  - Language.ImProve.Tree
  - Language.ImProve.Verify

Downloads

improve-0.2.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

TomHawkins

For package maintainers and hackage trustees

edit package information

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 && <2.1), 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-12-08T19:11:15Z
Distributions
Reverse Dependencies	2 direct, 1 indirect [details]
Downloads	20092 total (109 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Last success reported on 2015-06-02 [all 6 reports]