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]
Abstract is missing.