Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller. Successful Use of Incremental BMC in the Automotive Industry. In Manuel Núñez, Matthias Güdemann, editors, Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Volume 9128 of Lecture Notes in Computer Science, pages 62-77, Springer, 2015. [doi]
Abstract is missing.