Preface to the special issue on probabilistic model checking

DOI10.1007/s10703-013-0194-4zbMath1291.68245OpenAlexW2093272200MaRDI QIDQ2248070

No author found.

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-013-0194-4

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• A logic for reasoning about time and reliability
• Analyzing probabilistic pushdown automata
• Model checking for probabilistic timed automata
• A compositional modelling and analysis framework for stochastic hybrid systems
• Computable fixpoints in well-structured symbolic model checking
• A survey of partial-observation stochastic parity games
• On-the-fly verification and optimization of DTA-properties for large Markov chains
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Model checking of probabilistic and nondeterministic systems
• The complexity of probabilistic verification
• Symbolic model checking for probabilistic processes
• Termination of Probabilistic Concurrent Program

This page was built for publication: Preface to the special issue on probabilistic model checking