Successful Use of Incremental BMC in the Automotive Industry.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller

Browse the full FMICS paper archive.