Symmetry reductions in model-checking

MaRDI QIDQ4414377zbMATH OpenFDO

Authors A. P. Sistla

Publication date 25 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750025.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symmetry and reduced symmetry in model checking
• Employing symmetry reductions in model checking
• scientific article; zbMATH DE number 1418460
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• From asymmetry to full symmetry: New techniques for symmetry reduction in model checking

Cited in

(14)

• Employing symmetry reductions in model checking
• Checking extended CTL properties using guarded quotient structures
• Regular symmetry patterns
• Finding symmetry in models of concurrent systems by static channel diagram analysis
• Symbolic Model Checking Commitment Protocols Using Reduction
• A light-weight algorithm for model checking with symmetry reduction and weak fairness
• From asymmetry to full symmetry: New techniques for symmetry reduction in model checking
• Model checking systems of replicated processes with Spin
• Symmetry and reduced symmetry in model checking
• scientific article; zbMATH DE number 1418460 (Why is no real title available?)
• Correct Hardware Design and Verification Methods
• FM 2005: Formal Methods
• Correct Hardware Design and Verification Methods
• Model Checking Software

This page was built for publication: Symmetry reductions in model-checking

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