Kind 2 v1.0.0

mebsout released this 15 Jul 21:29

· 3768 commits to develop since this release

01ca023

This version adds features that improve performance as well as provide new functionality. Notably these include:

A new assume/guarantee-based contract language
Modular and compositional verification
An improved graph based invariant generation technique
Compilation of Lustre to Rust
Test-case generation
Proof certificate generation
Many performance improvements and bug fixes

Please refer to the CHANGES for a more detailed description and to the documentation of these new features.

Assets 6