Verification Tools for Transactional Programs

Adrian Cristal; Burcu Kulahcioglu Ozkan; Ernie Cohen; Gokcen Kestor; Ismail Kuru; Osman Unsal; Serdar Tasiran; Suha Orhun Mutluergil; Tayfun Elmas

doi:10.1007/978-3-319-14720-8_14

Verification Tools for Transactional Programs

Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Transactional Memory. Foundations, Algorithms, Tools, and Applications
DOIs	https://doi.org/10.1007/978-3-319-14720-8_14
Publication status	Published - 2015
Externally published	Yes

Access to Document

10.1007/978-3-319-14720-8_14

Cite this

@inbook{fd18352d0b19428ba726e25d71863412,

title = "Verification Tools for Transactional Programs",

author = "Adrian Cristal and Ozkan, {Burcu Kulahcioglu} and Ernie Cohen and Gokcen Kestor and Ismail Kuru and Osman Unsal and Serdar Tasiran and Mutluergil, {Suha Orhun} and Tayfun Elmas",

year = "2015",

doi = "10.1007/978-3-319-14720-8_14",

language = "English",

isbn = "9783319147192",

booktitle = "Transactional Memory. Foundations, Algorithms, Tools, and Applications",

}

TY - CHAP

T1 - Verification Tools for Transactional Programs

AU - Cristal, Adrian

AU - Ozkan, Burcu Kulahcioglu

AU - Cohen, Ernie

AU - Kestor, Gokcen

AU - Kuru, Ismail

AU - Unsal, Osman

AU - Tasiran, Serdar

AU - Mutluergil, Suha Orhun

AU - Elmas, Tayfun

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-14720-8_14

DO - 10.1007/978-3-319-14720-8_14

M3 - Chapter

SN - 9783319147192

SN - 9783319147208

BT - Transactional Memory. Foundations, Algorithms, Tools, and Applications

ER -