Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68603OpenAlexW4298302743MaRDI QIDQ5312948FDOQ5312948

Authors: Mohammad Awedh, Fabio Somenzi 

Publication date: 25 August 2005

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

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

Recommendations

• Termination criteria for bounded model checking: extensions and comparison
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Accelerating bounded model checking of safety properties
• Bounded model checking for all regular properties

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (7)

• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Complete SAT-Based Model Checking for Context-Free Processes
• Convergence testing in term-level bounded model checking
• Linear completeness thresholds for bounded model checking
• SAT-Based Model Checking
• Formalizing bounded increase

Uses Software

• Chaff

This page was built for publication: Computer Aided Verification

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