Refined Modularization for Bounded Model Checking Through Precondition Generation.

Marko Kleine Bning, Johannes Meuer, Carsten Sinz

Browse the full ICFEM paper archive.