SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study.

Yunho Kim, Moonzoo Kim

Browse the full APSEC paper archive.