Topics

English prose

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

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

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

What we hope the spec will look like.