格里戈里·费迪尤科维奇;塞缪尔·考夫曼。;拉斯蒂斯拉夫·博迪克 通过频率分布采样学习归纳不变量。 (英语) Zbl 1506.68054号 形式方法系统。设计。 56,编号1-3,154-177(2020).MSC公司:60年第68季度 68号30 68问题32 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fedyukovich}等人,《形式方法系统》。设计。56,编号1--3,154-177(2020;Zbl 1506.68054) 全文: DOI程序
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·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) 全文: DOI程序
阿诺德·桑尼尔;纳塔利·斯兹纳杰德;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 环形机器人遗忘算法的参数化验证。 (英语) Zbl 1506.68058号 形式方法系统。设计。 56,编号1-3,55-89(2020).MSC公司:60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sangnier}等人,《形式方法系统》。设计。56,编号1--3,55-89(2020;Zbl 1506.68058) 全文: DOI程序 arXiv公司
丹尼尔·考夫曼;阿明·比尔;曼纽尔·考尔斯 使用计算机代数对算术电路进行增量列式验证。 (英语) Zbl 1506.68056号 形式方法系统。设计。 56,编号1-3,22-54(2020).MSC公司:60年第68季度 2006年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kaufmann}等人,《形式方法系统》。设计。56,编号1--3,22-54(2020;Zbl 1506.68056) 全文: DOI程序
克劳斯·哈弗伦德;多龙·贝利德;多根·乌卢斯 使用BDD进行一阶时序逻辑监控。 (英语) Zbl 1506.68055号 形式方法系统。设计。 56,编号1-3,1-21(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,《形式方法系统》。设计。56,编号1--3,1--21(2020;Zbl 1506.68055) 全文: DOI程序