Parameterized Verification of Asynchronous Shared-Memory Systems

@inproceedings{Esparza2013ParameterizedVO,
  title={Parameterized Verification of Asynchronous Shared-Memory Systems},
  author={Javier Esparza and Pierre Ganty and Rupak Majumdar},
  booktitle={CAV},
  year={2013}
}

Citations

Publications citing this paper.
Showing 1-10 of 30 extracted citations

Similar Papers

Loading similar papers…