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

10 pointsby adamnemecek11 ปีที่แล้ว1 comments

http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/

1 comments

kobybecker11 ปีที่แล้ว

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