Topics

Rust Verification Tools

What verification is, which tools there are for Rust, and why they need a formal specification.

What we hope the spec will look like.

Many specifications are written in English prose, and this is bad.

Ferroscene, a specification that aims to certify Rust for certain safety-critical environments, and why we do not consider it a formal specification.