Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492997zbMATH OpenOpenAlexFDO

Authors Christian Stangier, Thomas Sidle

Publication date 20 October 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1903372
• scientific article; zbMATH DE number 1670790
• scientific article; zbMATH DE number 1979553
• Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking
• Correct Hardware Design and Verification Methods

Cited in

(3)

• Forward checking and intelligent backtracking
• scientific article; zbMATH DE number 1903372 (Why is no real title available?)
• Approximation Refinement for Interpolation-Based Model Checking

This page was built for publication: Formal Methods in Computer-Aided Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492997)