Successful Use of Incremental BMC in the Automotive Industry
Peter Schrammel‚ Daniel Kroening‚ Martin Brain‚ Ruben Martins‚ Tino Teige and Tom Bienmüller
Book Title
Formal Methods for Industrial Critical Systems‚ FMICS 2015
Pages
62–77
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
9128
Year
2015