On Bridging Simulation and Formal Verification

DOI10.1007/978-3-540-78163-9_14zbMath1138.68449OpenAlexW1499408584MaRDI QIDQ5452712

Eugene Goldberg

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-78163-9_14

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

On Bridging Simulation and Formal Verification ⋮ Boundary Points and Resolution

Cites Work

• On Bridging Simulation and Formal Verification
• Determinization of Resolution by an Algorithm Operating on Complete Assignments
• Unnamed Item
• Unnamed Item

This page was built for publication: On Bridging Simulation and Formal Verification