David Sanán, Liu Yang, Yongwang Zhao, Zhenchang Xing, Mike Hinchey. Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 120-129, IEEE, 2015. [doi]
@inproceedings{SananYZXH15,
title = {Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code},
author = {David Sanán and Liu Yang and Yongwang Zhao and Zhenchang Xing and Mike Hinchey},
year = {2015},
doi = {10.1109/ICECCS.2015.23},
url = {http://dx.doi.org/10.1109/ICECCS.2015.23},
researchr = {https://researchr.org/publication/SananYZXH15},
cites = {0},
citedby = {0},
pages = {120-129},
booktitle = {20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8581-7},
}