CppMem: Interactive C/C++ memory model

Posted by adamnemecek on Sunday June 14, 2015 @09:36PM
from the svr-pes20-cppmem.cl.cam.ac.uk dept.

( 1 comment | 10 points | on HN )

Re:CppMem: Interactive C/C++ memory model by kobybecker on Monday June 15, 2015 @01:00AM (#9717592)

Does anyone in industry use a 'model checker' like this while writing multi-threaded C++ code? Just curious..

[ Parent | on HN ]