You might remember that earlier this year, we started up a formal verification working group…
So, what happened? Well, not that much (sorry!). So, I’d like to reboot the working group with some more concrete goals. To start, we will:
- identify information needed by tools from the compiler
- build a set of simple examples to test verification tools on
Overall, the plan for this WG is to enable formal verification of Rust programs, not creating a full semantics of the language (for that, go check out the RustBelt project).
Follow us on Twitter!