Symmetry reduction in SAT-based model checking

DOI10.1007/11513988_12MaRDI QIDQ5716543zbMATH OpenOpenAlexFDO

Authors Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip

Publication date 10 January 2006

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

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

Mathematics Subject Classification ID

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

Recommendations

• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• Dynamic symmetry reduction
• Symmetry reduction criteria for software model checking
• Symmetry and reduced symmetry in model checking
• From asymmetry to full symmetry: New techniques for symmetry reduction in model checking

Cited in

(8)

• Employing symmetry reductions in model checking
• Reducing symmetries to generate easier SAT instances
• From asymmetry to full symmetry: New techniques for symmetry reduction in model checking
• Combining symmetry reduction and under-approximation for symbolic model checking
• Symbolic localization reduction with reconstruction layering and backtracking
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• Correct Hardware Design and Verification Methods
• Model Checking Software

This page was built for publication: Symmetry reduction in SAT-based model checking

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