Creusot 0.14.0 - Contracts for Rust, formally proved
I am pleased to announce the release of Creusot, version 0.14.0.
Creusot is a tool for formally verifying Rust code, extending Rust with a language of specifications, or contracts, and providing a toolchain for proving them (semi-)automatically with the help of SMT solvers.
The latest post on Creusot's devlog describes a few of the most recent features. For the rest, see the changelog.
1 post - 1 participant
原文：https://www.a8q9.cn/en/article/creusot-0-14-0-contracts-for-rust-formally-proved-eab760.html