/Alastair Reid

Automatic Rust Verification Tools (2021) tl;dr: Alastair took advantage of all the experts at the 2021 Rust Verification Workshop to make an up to date list of tools. This post focuses on the automatic one, such as interpreters, model checkers, etc...

featured in #233