Ymer: a statistical model checker
CAV（2005）
摘要
We present Ymer, a tool for verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical and numerical model checking techniques. We focus on two features of Ymer: distributed acceptance sampling and statistical model checking of nested probabilistic statements.
更多查看译文
关键词
numerical model checking technique,stochastic discrete event system,statistical model checker,probabilistic transient property,acceptance sampling,nested probabilistic statement,statistical model checking,statistical model
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要