Statistical model checking of stochastic component-based systems

DOI10.1080/00949655.2017.1320401OpenAlexW2609153068MaRDI QIDQ5106945

Kueiming Lo, Weijing Wang, Lianyi Zhang, Duzheng Qing, Li-Xin Yu

Publication date: 22 April 2020

Published in: Journal of Statistical Computation and Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00949655.2017.1320401

zbMATH Keywords

statistical model checkingprobabilistic model checkingbisimulation minimizationstochastic BIP component systems

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PRISM
• PRISM

Cites Work

• Unnamed Item
• Bisimulation minimization and symbolic model checking
• Performance analysis of probabilistic timed automata using digital clocks
• SMT-Based Bisimulation Minimisation of Markov Models
• Model checking of probabilistic and nondeterministic systems
• Runtime Verification of Component-Based Systems
• Probabilistic abstraction for model checking
• Computer Aided Verification
• Validation of Stochastic Systems
• Computer Aided Verification
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• Sequential Tests of Statistical Hypotheses
• Stochastic Processes

This page was built for publication: Statistical model checking of stochastic component-based systems