Skip to main content

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