ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM

DOI10.1007/978-3-319-17142-5_34MaRDI QIDQ2948486zbMATH OpenOpenAlexFDO

Authors Reema Patel, Kevin Patel, Dhiren 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

explicit state representationon-the-fly symmetry reductionprobabilistic model checking

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)

Recommendations

• Symmetry Reduction for Probabilistic Model Checking
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Tools and Algorithms for the Construction and Analysis of Systems
• Symmetry and reduced symmetry in model checking
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking

Cites work

• A logic for reasoning about time and reliability
• Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM
• Combining symmetry reduction and under-approximation for symbolic model checking
• Employing symmetry reductions in model checking
• PRISM: Probabilistic symbolic model checker
• Symbolic model checking for probabilistic timed automata
• Symmetry Reduction for Probabilistic Model Checking
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• ExplicitPRISMSymm
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Symmetry Reduction for Probabilistic Model Checking

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM

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