@hackage / improve

An imperative, verifiable programming language for high assurance applications.

Latest0.4.0

About

Metadata

  • Last updated , by TomHawkins
  • License BSD-3-Clause
  • Categories Systems Programming

  • Maintained by: Tom Hawkins <tomahawkins@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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. ImProve compiles to C, Ada, Simulink, and Modelica.