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