Correct Hardware Design and Verification Methods

DOI10.1007/b93958zbMath1179.68136OpenAlexW219731125MaRDI QIDQ5897076

J. Strother Moore, Robert Bellarmine Krug, Warren A. jun. Hunt

Publication date: 5 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b93958

Mathematics Subject Classification ID

Related Items (5)

The reflective Milawa theorem prover is sound (down to the machine code that runs it) ⋮ A heuristic prover for real inequalities ⋮ Real World Verification ⋮ Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic ⋮ Formalization of Bernstein polynomials and applications to global optimization

Uses Software

• ACL2

This page was built for publication: Correct Hardware Design and Verification Methods