ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM
DOI10.1007/978-3-319-17142-5_34zbMATH Open1459.68122OpenAlexW2286129565MaRDI QIDQ2948486FDOQ2948486
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
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
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)
Cites Work
- Title not available (Why is that?)
- A logic for reasoning about time and reliability
- Symbolic model checking for probabilistic timed automata
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Employing symmetry reductions in model checking
Cited In (3)
Uses Software
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)
