Proof-Guided Underapproximation Widening for Bounded Model Checking.

Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy

Browse the full CAV paper archive.