undefined | Better HN

0 pointskobebrookskC322d ago0 comments

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

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

0 comments

uecker22d ago

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

j / k navigate · click thread line to collapse

uecker22d ago

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

j / k navigate · click thread line to collapse