S. Tucker Taft, Florian Schanda, Yannick Moy. High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 238-239, IEEE, 2016. [doi]
@inproceedings{TaftSM16,
title = {High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles},
author = {S. Tucker Taft and Florian Schanda and Yannick Moy},
year = {2016},
doi = {10.1109/HASE.2016.54},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2016.54},
researchr = {https://researchr.org/publication/TaftSM16},
cites = {0},
citedby = {0},
pages = {238-239},
booktitle = {17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016},
editor = {Radu F. Babiceanu and Hélène Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu},
publisher = {IEEE},
isbn = {978-1-4673-9913-5},
}