News for hackers. Stuff that matters.

A comment on Fear and Loathing in Lock-Free Programming. Parent comment

Re:Fear and Loathing in Lock-Free Programming by krenoten on Monday October 09, 2017 @02:41PM (#15436341)
SPIN is a nice tool for modeling them. You can extract code from a coq model. You can go into the world of dynamic instrumentation to try to verify invariants in implementations.
[ Parent | on HN ]

There are no comments on this comment yet.