Live data from Hacker News

CppMem: Interactive C/C++ memory model

svr-pes20-cppmem.cl.cam.ac.uk

Post reply on HN

Print view View original

1–2 of 2 posts

CppMem: Interactive C/C++ memory model

#1

Post by adamnemecek » Mon, Jun 15, 2015, 1:36 AM UTC

CppMem: Interactive C/C++ memory model
svr-pes20-cppmem.cl.cam.ac.uk

Re: CppMem: Interactive C/C++ memory model

#2

Post by kobybecker » Mon, Jun 15, 2015, 5:00 AM UTC

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

Post reply on HN