Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

DOI10.1007/11901914_4zbMath1161.68564OpenAlexW1801185978MaRDI QIDQ3522889

Alastair F. Donaldson, Alice Ann 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)

Related Items (9)

Model Checking Probabilistic Systems ⋮ Context-aware counter abstraction ⋮ On Abstraction of Probabilistic Systems ⋮ A lazy approach to symmetry reduction ⋮ ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM ⋮ Minimization of probabilistic models of programs ⋮ Multi-scale verification of distributed synchronisation ⋮ Probabilistic model checking of complex biological pathways ⋮ An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols

Uses Software

• PRISM

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