Integrating Loop Acceleration Into Bounded Model Checking.

Florian Frohn, Jrgen Giesl

Browse the full FM paper archive.