News for hackers. Stuff that matters.

A comment on Formal methods only solve half my problems.

Re:Formal methods only solve half my problems by rurban on Saturday June 04, 2022 @01:46AM (#31617381)
I'm using better model checker tools, and they also only solve half of my problems. but all the tools together solve everything.

https://blog.nubix.de/index.php/2022/04/06/testing-baremetal...

[ Parent | on HN ]

There are no comments on this comment yet.