Efficient verification of multi-property designs (The benefit of wrong assumptions).

Eugene Goldberg, Matthias Gdemann, Daniel Kroening, Rajdeep Mukherjee

Browse the full DATE paper archive.