期刊
INFORMATION AND COMPUTATION
卷 204, 期 9, 页码 1368-1409出版社
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.ic.2006.05.002
关键词
probabilistic verification; stochastic processes; temporal logic; hypothesis testing; acceptance sampling; transient analysis
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past 5 years, with a clear focus on developing numerical solution methods for model checking of continuous-time Markov chains. Numerical techniques tend to scale poorly with an increase in the size of the model (the state space explosion problem), however, and are feasible only for restricted classes of stochastic discrete-event systems. We present a statistical approach to probabilistic model checking, employing hypothesis testing and discrete-event simulation. Since we rely on statistical hypothesis testing, we cannot guarantee that the verification result is correct, but we can at least bound the probability of generating an incorrect answer to a verification problem. (C) 2006 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据