Creusot, a deductive verifier for Rust code

Creusot helps you prove your code is correct in an automated fashion. – creusot-rs/creusot… Read more

Similar