[kobebrookskC3]

> simply by adding the formal verification that proves the safety which will work automatically

"simply" and "formal verification" are usually oxymorons, never mind "automatically"

[uecker]

Fair enough, but I have seen how it works and for just temporal memory safety, it could be simple.