Driving a sound static software analyzer with branch-and-bound.

Sven Mattsen, Pascal Cuoq, Sibylle Schupp

Browse the full SCAM paper archive.