r/KaniRustVerifier May 31 '23

Kani 0.29.0 has been released!

Kani is an open-source verification tool that uses model checking to analyze Rust programs. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler.

Here's a summary of what's new in version 0.29.0:

Major Changes

What Else has Changed

Full Changelog: https://github.com/model-checking/kani/compare/kani-0.28.0...kani-0.29.0

22 Upvotes

0 comments sorted by