Skip to main content

Unbounded safety verification for hardware using software analyzers

Rajdeep Mukherjee‚ Peter Schrammel‚ Daniel Kroening and Tom Melham

Book Title
DATE
Pages
1152–1155
Year
2016