马图尔,乌芒;马修·鲍尔。;罗希特·查达;普拉萨德·西斯特拉;马赫什·维斯瓦纳坦 通过理性搜索进行精确的定量概率模型检查。 (英语) Zbl 1506.68057号 形式方法系统。设计。 56,编号1-390-126(2020).MSC公司:第68季度第60季度 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公司:第68季度第60季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《形式方法系统》。设计。54,编号2145-163(2019;兹bl 1425.68270) 全文: 内政部
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,第2期,105-134(2015).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《表格方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
阿比·瓦尔丹;马赫什·维斯瓦纳坦 学习验证分支时间属性。 (英语) Zbl 1118.68554号 形式方法系统。设计。 31,第1期,35-61(2007).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Vardhan}和\textit{M.Viswanathan},《形式方法系统》。设计。31,第1号,35--61(2007;Zbl 1118.68554) 全文: 内政部 链接
金,月亮动物园;马赫什·维斯瓦纳坦;桑帕斯·坎南;李因苏普;奥列格·索科尔斯基 Java-MaC:Java程序的运行时保证方法。 (英语) Zbl 1073.68552号 形式方法系统。设计。 第2129-155号第24页(2004年).MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kim}等人,《形式方法系统》。设计。24,第2号,129--155(2004;Zbl 1073.68552) 全文: 内政部