Formal Methods in Computer-Aided Design

DOI10.1007/B102264zbMATH Open1117.68434OpenAlexW4229585471MaRDI QIDQ5492987FDOQ5492987

Authors: Tobias Nopper, Christoph Scholl 

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

Recommendations

• Dealing with incompleteness in automata-based model checking
• scientific article; zbMATH DE number 1324662
• Counterexample-guided abstraction refinement for symbolic model checking
• Model checking: a hardware design perspective
• scientific article; zbMATH DE number 910719

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Dealing with incompleteness in automata-based model checking
• Encoding techniques, Craig interpolants and bounded model checking for incomplete designs
• Underapproximation for Model-Checking Based on Random Cryptographic Constructions

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 Q5492987)