Employing symmetry reductions in model checking

DOI10.1016/j.cl.2004.02.002zbMath1072.68068OpenAlexW2055630886MaRDI QIDQ1886448

Yanyan Li

Publication date: 18 November 2004

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2004.02.002

zbMATH Keywords

Model checkingTemporal logicVerificationState explosionSymmetry reductions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (1)

ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM

Cites Work

• Automata-theoretic techniques for modal logics of programs
• Modalities for model checking: Branching time logic strikes back
• Checking extended CTL properties using guarded quotient structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Employing symmetry reductions in model checking