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