ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM

DOI10.1007/978-3-319-17142-5_34zbMath1459.68122OpenAlexW2286129565MaRDI QIDQ2948486

Dhiren Patel, Kevin Patel, Reema Patel

Publication date: 30 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17142-5_34

zbMATH Keywords

probabilistic model checkingexplicit state representationon-the-fly symmetry reduction

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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

ExplicitPRISMSymm

Uses Software

• PRISM

Cites Work

• A logic for reasoning about time and reliability
• Employing symmetry reductions in model checking
• Symbolic model checking for probabilistic timed automata
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Tools and Algorithms for the Construction and Analysis of Systems
• Symmetry Reduction for Probabilistic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM