Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

DOI10.1007/11901914_4MaRDI QIDQ3522889zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

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

Describes a project that uses

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)