The latest version of improve is 0.4.0-0.
improve
Version 0.0.6 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- An imperative, verifiable programming language for high assurance applications.
- Description
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.
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://tomahawkins.org
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- n/a