Model Checking Futexes

@inproceedings{DBLP:conf/spin/EvrardD23,
  author       = {Hugues Evrard and
                  Alastair F. Donaldson},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Model Checking Futexes},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023, Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {41-58},
  publisher    = {Springer},
  year         = {2023},
  doi          = {10.1007/978-3-031-32157-3_3},
}

Copy to clipboard Download .bib file Back to publications