伊戈尔·康诺夫；玛丽亚娜·拉齐奇；伊利娜·斯托伊尔科夫斯卡；约瑟夫·威德 阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号 日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095） 全文： 内政部 arXiv公司
马可·波扎诺；亚历山德罗·西马蒂；克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 （英语） Zbl 1425.68039号 正式Asp。计算。 31，第1号，59-94（2019）.MSC公司：68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，正式Asp。计算。31，第1号，59-94（2019；Zbl 1425.68039） 全文： 内政部
乔里·杜布罗文；汤米·琼蒂拉；凯乔·赫尔扬科 利用步骤语义对异步系统进行有效的有界模型检查。 （英语） Zbl 1243.68213号 科学。计算。程序。 77，第10-11号，1095-1121（2012）.MSC公司：60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人，科学。计算。程序。77，No.10--111095--1121（2012；Zbl 1243.68213） 全文： 内政部
莱昂纳多·德·莫拉；哈拉尔德街 地面决策程序的实验评估。 （英语） Zbl 1103.68645号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，162-174（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{H.Rueß}，Lect。注释计算。科学。3114、162--174（2004；Zbl 1103.68645） 全文： 内政部