Preface to the special issue on probabilistic model checking
From MaRDI portal
(Redirected from Preface to the special issue on probabilistic model checking)
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)
