@hackage improve0.0.5

An imperative, verifiable programming language for high assurance applications.

Categories
- Systems Programming
- Language
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.4.0 Fri, 29 Jul 2011
- 0.3.4 Mon, 18 Apr 2011
- 0.3.3 Thu, 7 Apr 2011
- 0.3.2 Sat, 2 Apr 2011
- 0.3.1 Tue, 29 Mar 2011
- 0.3.0 Mon, 28 Mar 2011

Installation
In your cabal file:
Dependencies (3)
- base >=4.2 && <5
- mtl >=1.1.0.1 && <1.2
- yices >=0.0.0.7 && <0.0.1
Dependents (2)
@hackage/acme-everything, @hackage/vcd

ImProve is an imperative DSL intended for high assurance, embedded 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.

@hackage improve0.0.5

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (2)