ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM

DOI10.1007/978-3-319-17142-5_34MaRDI QIDQ2948486zbMATHOpenAlexFDO

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

probabilistic model checkingexplicit state representationon-the-fly symmetry reduction

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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
• scientific article; zbMATH DE number 1796126
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking

Cites work

• scientific article; zbMATH DE number 1796134 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 1903347 (Why is no real title available?)
• 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
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• ExplicitPRISMSymm
• 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)