埃夫拉德,雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法计划。88、121--153(2017年;Zbl 1362.68038) 全文: 内政部 哈尔
萨宾娜·阿赫塔;斯蒂芬·默兹;马丁·昆森 用于对算法及其属性进行建模的高级语言。 (英语) Zbl 1325.68040号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学讲义6527,49-63(2011)。MSC公司:68甲15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Akhtar}等人,Lect。注释计算。科学。6527,49-63(2011;Zbl 1325.68040) 全文: 内政部 链接
丹尼尔·克罗宁;乔治·威森巴赫 使用谓词抽象对带有循环的程序进行验证和证伪。 (英语) Zbl 1215.68130号 正式Asp。计算。 22,第2期,105-128(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{G.Weissenbacher},正式Asp。计算。22,第2号,第105-128条(2010;Zbl 1215.68130) 全文: 内政部 哈尔
克里斯托弗·沃尔顿。 可验证的代理对话。 (英语) Zbl 1119.68392号 J.应用。日志。 5,第2期,197-213(2007).MSC公司:68T05型 68T01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walton},J.应用。日志。5,第2号,197--213(2007;Zbl 1119.68392) 全文: 内政部