Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li. Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016. pages 1-6, IEEE, 2016. [doi]
@inproceedings{ZhangCTLL16,
title = {Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach},
author = {Haitao Zhang and Zhuo Cheng and Cong Tian and Yonggang Lu and Guoqiang Li},
year = {2016},
doi = {10.1109/ICIS.2016.7550826},
url = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2016.7550826},
researchr = {https://researchr.org/publication/ZhangCTLL16},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016},
publisher = {IEEE},
isbn = {978-1-5090-0806-3},
}