External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Unbounded safety verification for hardware using software analyzers

Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham. Unbounded safety verification for hardware using software analyzers. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 1152-1155, IEEE, 2016. [doi]

Authors

Rajdeep Mukherjee

This author has not been identified. Look up 'Rajdeep Mukherjee' in Google

Peter Schrammel

This author has not been identified. Look up 'Peter Schrammel' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Tom Melham

This author has not been identified. Look up 'Tom Melham' in Google
runs on