Symmetry and model checking

MaRDI QIDQ4503925zbMATH OpenFDO

Authors K. L. McMillan

Publication date 14 September 2000

zbMATH Keywords

model checkingsymmetry

Mathematics Subject Classification ID

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

Recommendations

• Symmetry and reduced symmetry in model checking
• scientific article; zbMATH DE number 1418460
• From asymmetry to full symmetry: New techniques for symmetry reduction in model checking
• Symmetry reduction for the local mu-calculus
• Finding symmetry in models of concurrent systems by static channel diagram analysis

Cited in

(3)

• Improving Discrete Model Representations via Symmetry Considerations
• A scheme for symmetrization verification
• Correct Hardware Design and Verification Methods

This page was built for publication: Symmetry and model checking

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