Minimization of probabilistic models of programs

DOI10.1007/s10958-015-2611-2zbMath1347.68232OpenAlexW2124643886MaRDI QIDQ906254

A. M. Mironov, S. L. Frenkel

Publication date: 21 January 2016

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-015-2611-2

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about time and reliability
• Reduced forms for stochastic sequential machines
• Model checking of probabilistic and nondeterministic systems
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
• Symbolic model checking for probabilistic processes
• Pareto Curves for Probabilistic Model Checking
• Termination of Probabilistic Concurrent Program
• Symmetry Reduction for Probabilistic Model Checking