Statistical model checking of stochastic component-based systems
From MaRDI portal
bisimulation minimizationprobabilistic model checkingstatistical model checkingstochastic BIP component systems
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- Computer Aided Verification
- Statistical Model Checking for Variability-Intensive Systems
- Computer Aided Verification
- Stochastic model checking
- Statistical model checking for cyber-physical systems
- Statistical probabilistic model checking with a focus on time-bounded properties
- Statistical model checking for composite actor systems
- Statistical model checking
Cites work
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Bisimulation minimization and symbolic model checking
- Computer Aided Verification
- Computer Aided Verification
- scientific article; zbMATH DE number 4154239 (Why is no real title available?)
- Model checking of probabilistic and nondeterministic systems
- Performance analysis of probabilistic timed automata using digital clocks
- Probabilistic abstraction for model checking: an approach based on property testing
- Runtime verification of component-based systems
- Sequential Tests of Statistical Hypotheses
- SMT-based bisimulation minimisation of Markov models
- Stochastic processes
- Validation of Stochastic Systems
Cited in
(4)- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Probabilistic verification of a biodiesel production system using statistical model checking
- Statistical Model Checking for Variability-Intensive Systems
This page was built for publication: Statistical model checking of stochastic component-based systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5106945)
