Effective stateless model checking for C/C++ concurrency

Kokologiannakis, Michalis and Lahav, Ori and Sagonas, Konstantinos and Vafeiadis, Viktor
(2018) Effective stateless model checking for C/C++ concurrency.
PACMPL, 2 (POPL). 17:1–17:32.

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/3158105

Actions

Actions (login required)

View Item View Item