Preface to the special issue on probabilistic model checking
From MaRDI portal
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)
Recommendations
- The probabilistic model checking landscape
- scientific article; zbMATH DE number 1507207
- Model checking probabilistic systems against pushdown specifications
- Towards light-weight probabilistic model checking
- Model checking of probabilistic and nondeterministic systems
- Bounded model checking for probabilistic programs
Cites work
- A compositional modelling and analysis framework for stochastic hybrid systems
- A logic for reasoning about time and reliability
- A survey of partial-observation stochastic parity games
- Analyzing probabilistic pushdown automata
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Computable fixpoints in well-structured symbolic model checking
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 7280017 (Why is no real title available?)
- Model checking for probabilistic timed automata
- Model checking of probabilistic and nondeterministic systems
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- Symbolic model checking for probabilistic processes
- Termination of Probabilistic Concurrent Program
- The complexity of probabilistic verification
This page was built for publication: Preface to the special issue on probabilistic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248070)
