Model Checking Parameterized Asynchronous Shared-Memory Systems.

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar

Browse the full CAV paper archive.