Correct Hardware Design and Verification Methods

DOI10.1007/b93958zbMath1179.68033OpenAlexW219731125MaRDI QIDQ5897055

Ofer Strichman, Alex Groce, Sagar Chaki, Edmund M. Clarke

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

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Compositional Predicate Abstraction from Game Semantics