Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

DOI10.1007/11901914_4zbMATH Open1161.68564OpenAlexW1801185978MaRDI QIDQ3522889FDOQ3522889

Authors: Alastair Donaldson, Alice Miller 

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/14321

Recommendations

• Symmetry Reduction for Probabilistic Model Checking
• ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM
• Correct Hardware Design and Verification Methods
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1796126

Mathematics Subject Classification ID

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

Cited In (10)

• Multi-scale verification of distributed synchronisation
• On Abstraction of Probabilistic Systems
• Model checking probabilistic systems
• Context-aware counter abstraction
• An inductive technique for parameterised model checking of degenerative distributed randomised protocols
• Symmetry Reduction for Probabilistic Model Checking
• A lazy approach to symmetry reduction
• Minimization of probabilistic models of programs
• Probabilistic model checking of complex biological pathways
• ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM

Uses Software

• PRISM

This page was built for publication: Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

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