4 ms·
> simply by adding the formal verification that proves the safety which will work automatically "simply" and "formal verification" are usually oxymorons, never
by kobebrookskC3 6mo ago
> 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 6mo agoFair enough, but I have seen how it works and for just temporal memory safety, it could be simple.