Formal verification requires a spec and a very large, very expensive amount of tooling to be developed.
My understand is that both these things are in work, and that neither of these things exist yet.
My understand is that both these things are in work, and that neither of these things exist yet.
I’m sure at some point there will be an accepted formal verification toolchain for rust, I hope to never use it.