Modular Checking of C Programs Using SAT-Based Bounded Model Checker.

Yuusuke Hashimoto, Shin Nakajima

Browse the full APSEC paper archive.