Optimal Stateless Model Checking of Transactional Programs under Causal Consistency

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta +2

We present a framework for efficient stateless model checking (SMC) of concurrent programs under five prominent models of causal consistency, CCv,CM,CC, Read Committed and Read Ato…