Skip to main content

Unbounded safety verification for hardware using software analyzers

Rajdeep Mukherjee‚ Peter Schrammel‚ Daniel Kroening and Tom Melham

Book Title
2016 Design‚ Automation & Test in Europe Conference & Exhibition‚ DATE 2016‚ Dresden‚ Germany‚ March 14–18‚ 2016
Editor
Luca Fanucci and Jürgen Teich
ISBN
978−3−9815370−6−2
ISSN
1558−1101
Pages
1152–1155
Publisher
European Design and Automation Association
Year
2016