Building a Concurrency Verifier Using Crucible

(galois.com)

2 points | by surprisetalk 4 hours ago ago