SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake

Browse the full APSEC paper archive.