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. Yices (required) is the backend SMT solver.

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.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 Sun Dec 12 15:19:13 UTC 2010
Distributions NixOS:0.4.0
Downloads 10069 total (318 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-06-02 [all 6 reports]
Hackage Matrix CI

Modules

  • Language
    • Language.ImProve
      • Language.ImProve.Code
      • Language.ImProve.Core
      • Language.ImProve.Examples
      • Language.ImProve.Tree
      • Language.ImProve.Verify

Downloads

Maintainer's Corner

For package maintainers and hackage trustees