A decision procedure for detecting atomicity violations for communicating processes with locks

Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Pasareanu Corina S.

Buchtitel: Model Checking Software (Band 5578)

Seitenbereich: 125-142

Verlag: Springer

Titel der Reihe: Lecture Notes in Computer Science

Nr. in Reihe: 5578

Status: Veröffentlicht

Veröffentlichungsjahr: 2009

Sprache, in der die Publikation verfasst ist: Englisch

Konferenz: 16th International SPIN Workshop, June 26-28, 2009, Grenoble, France,

ISBN: 978-3-642-02651-5