Stochastic model checking

被引：0

作者：

Kwiatkowska, Marta ^{[1
]}

Norman, Gethin ^{[1
]}

Parker, David ^{[1
]}

机构：

[1] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England

来源：

FORMAL METHODS FOR PERFORMANCE EVALUATION | 2007年 / 4486卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model checking algorithms are given for verifying DTMCs and CTMCs against specifications written in probabilistic extensions of temporal logic, including quantitative properties with rewards. Example properties include the probability that a fault occurs and the expected number of faults in a given time period. We also describe the practical application of stochastic model checking with the probabilistic model checker PRISM by outlining the main features supported by PRISM and three real-world case studies: a probabilistic security protocol, dynamic power management and a biological pathway.

引用

页码：220 / +

页数：6

共 50 条

[21] Automated Model Checking of Stochastic Graph Transformation Systems
Rafe, Vahid
Rafeh, Reza
Miralvand, Mohamad Reza Zand
Alavizadeh, Alavie Sadat
PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 211 - +
[22] CSL model checking for generalized Stochastic Petri Nets
Cerotti, Davide
Donatelli, Susanna
Horvath, Andras
Sproston, Jeremy
QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 199 - +
[23] SMART: The stochastic model checking analyzer for reliability and timing
Ciardo, G
Miner, AS
QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 338 - 339
[24] Model Checking Stochastic Automata for Dependability and Performance Measures
Buchholz, Peter
Kriege, Jan
Scheftelowitsch, Dimitri
2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2014, : 503 - 514
[25] Genetic Algorithm for Generating Counterexample in Stochastic Model Checking
Zheng, Tingting
Liu, Yang
PROCEEDINGS OF 2018 VII INTERNATIONAL CONFERENCE ON NETWORK, COMMUNICATION AND COMPUTING (ICNCC 2018), 2018, : 92 - 96
[26] Model checking Markov population models by stochastic approximations
Bortolussi, Luca
Lanciani, Roberta
Nenzi, Laura
INFORMATION AND COMPUTATION, 2018, 262 : 189 - 220
[27] SMART: Stochastic model-checking analyzer for reliability and timing
Ciardo, G
Jones, RL
Marmorstein, RM
Miner, AS
Siminiceanu, R
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 545 - 545
[28] Stochastic Model Checking for Predicting Component Failures and Service Availability
Calder, Muffy
Sevegnani, Michele
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 16 (01) : 174 - 187
[29] Model Checking Functional and Performability Properties of Stochastic Fluid Models
Gribaudo, Marco
Horvath, Andras
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 295 - 310
[30] Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
Abate, Alessandro
Katoen, Joost-Pieter
Mereacre, Alexandru
HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 83 - 92

← 1 2 3 4 5 →