乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 通过理性搜索进行精确的定量概率模型检查。 (英语) Zbl 1506.68057号 形式方法系统。设计。 56,编号1-3,90-126(2020).MSC公司:60年第68季度 60J20型 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Mathur}等人,《形式方法系统》。设计。56,编号1--3,90-126(2020;Zbl 1506.68057) 全文: 内政部
王,于;尼玛·鲁希;马修·韦斯特;马赫什·维斯瓦纳坦;盖尔·杜勒鲁(Geir E.Dullerud)。 使用对比和分层样本对PCTL进行统计验证。 (英语) Zbl 1425.68270号 形式方法系统。设计。 54,第2期,145-163(2019).MSC公司:60年第68季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《形式方法系统》。设计。54,第2号,145-163(2019年;Zbl 1425.68270) 全文: 内政部
利纳尔·米基耶夫;Neuhäußer,Martin R。;大卫·斯皮勒;维雷娜·沃尔夫 大型马尔可夫链DTA性质的现场验证和优化。 (英语) 兹比尔1291.68295 形式方法系统。设计。 43,编号2131-337(2013).MSC公司:87年第68季度 60J27型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikeev}等人,《形式方法系统》。设计。43,No.2,313--337(2013;Zbl 1291.68295) 全文: 内政部
格雷戈·戈斯勒;Xu,Dana N。;阿兰·吉拉尔 基于组件的设计的概率契约。 (英语) Zbl 1284.68435号 形式方法系统。设计。 41,第2期,211-231(2012).MSC公司:87年第68季度 68米14 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gössler}等人,《形式方法系统》。设计。41,第2号,211--231(2012;Zbl 1284.68435) 全文: 内政部 链接
亚历山大·贝尔;Boudewijn R.哈维尔科特。 用于检查非常大的马尔可夫链的分布式磁盘算法。 (英语) Zbl 1110.68071号 形式方法系统。设计。 29,No.2,177-196(2006).MSC公司:60年第68季度 68第05页 68问题85 68宽15 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bell}和\textit{B.R.Haverkort},《形式方法系统》。设计。29,第2号,177--196(2006;Zbl 1110.68071) 全文: 内政部 链接