Haitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang 0002, Yuki Chiba, Kenro Yatake. SMT-Based Bounded Model Checking for OSEK/VDX Applications. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1. pages 307-314, IEEE, 2013. [doi]
Abstract is missing.