Model checking parameterized asynchronous shared-memory systems

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar. Model checking parameterized asynchronous shared-memory systems. Formal Methods in System Design, 50(2-3):140-167, 2017. [doi]

Abstract

Abstract is missing.