Bastian Schlich, Stefan Kowalewski. Model checking C source code for embedded systems. STTT, 11(3):187-202, 2009. [doi]
@article{SchlichK09,
title = {Model checking C source code for embedded systems},
author = {Bastian Schlich and Stefan Kowalewski},
year = {2009},
doi = {10.1007/s10009-009-0106-5},
url = {http://dx.doi.org/10.1007/s10009-009-0106-5},
tags = {model checking, meta-model, source-to-source, C++, Meta-Environment, open-source},
researchr = {https://researchr.org/publication/SchlichK09},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {11},
number = {3},
pages = {187-202},
}