Successful Use of Incremental BMC in the Automotive Industry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Peter Schrammel' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Martin Brain' in GoogleThis author has not been identified. Look up 'Ruben Martins' in GoogleThis author has not been identified. Look up 'Tino Teige' in GoogleThis author has not been identified. Look up 'Tom Bienmüller' in Google

runs on WebDSL