阿齐姆·查德哈里;埃德·罗宾斯;安迪·金 递增闭合八边形。 (英语) Zbl 1425.68242号 形式方法系统。设计。 54,第2号,232-277(2019).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Chawdhary}等人,《形式方法系统》。设计。54,No.2,232--277(2019;Zbl 1425.68242) 全文: DOI程序 arXiv公司
卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳 状态网络验证的一些复杂性结果。 (英语) Zbl 1425.68248号 形式方法系统。设计。 54,第2期,191-231(2019).MSC公司:60年第68季度 68米10 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Alpernas}等人,《形式方法系统》。设计。54,第2号,191--231(2019;Zbl 1425.68248) 全文: DOI程序 arXiv公司
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于SAT的显式LTL推理及其在可满足性检查中的应用。 (英语) Zbl 1425.68259号 形式方法系统。设计。 54,第2期,164-190(2019).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,《形式方法系统》。设计。54,第2号,164--190(2019年;Zbl 1425.68259) 全文: DOI程序
王,于;尼玛·鲁希;马修·韦斯特;马赫什·维斯瓦纳坦;盖尔·杜勒鲁(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) 全文: DOI程序