亚当·桑德伯格·爱立信;玛格努斯·奥·米林。;奥曼·波霍拉，约翰内斯 CakeML的已验证分代垃圾收集器。 （英文） Zbl 1468.68066号 J.汽车。推理 63，第2期，463-488（2019）.MSC公司：68N20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Sandberg Ericsson}等人，J.Autom。推理63，No.2，463--488（2019；Zbl 1468.68066） 全文： 内政部
费比安·伊姆勒;克里斯托夫·特劳特 常微分方程的流程：变分方程和Poincarémap的形式化。 （英文） Zbl 1468.68325号 J.汽车。推理 62，第2期，215-236（2019）.MSC公司：68版本20 03B35型 34甲12 34A26型 37立方厘米 65升05 65页99 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}和\textit{C.Traut}，J.Autom。推理62，No.2，215--236（2019；Zbl 1468.68325） 全文： 内政部
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 （英文） Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101132-150（2018）.MSC公司：68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，J.Log（J·洛格）。阿尔盖布。方法程序。101132-150（2018；Zbl 1401.68247） 全文： 内政部
沃尔特·古特曼 最小生成树问题的代数框架。 （英文） Zbl 1401.68246号 西奥。计算。科学。 744, 37-55 (2018).MSC公司：68兰特 05C22号 05C85号 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{W.Guttmann}，Theor。计算。科学。744，37-55（2018；Zbl 1401.68246） 全文： 内政部
朱莉安娜·鲍尔斯;马克·卡米纳蒂（Marco B.Camina）。 枚举事件结构的验证算法。 （英文） Zbl 1367.68245号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。人工智能课堂讲稿，239-254（2017）。MSC公司：68吨15 2015年1月5日 06-04 2010年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Bowles}和\textit{M.B.Camina}，莱克特。注释计算。科学。10383、239--254（2017；Zbl 1367.68245） 全文： 内政部 arXiv公司 链接
西蒙·威默 形式化的时间自动机。 （英文） 兹比尔1478.68183 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9807, 425-440 (2016).MSC公司：60年第68季度 65年第68季度 68问题85 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{S.Wimmer}，莱克特。注释计算。科学。9807425-440（2016年；兹比尔1478.68183） 全文： 内政部
杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 Isabelle的Psi-calculi。 （英文） Zbl 1356.68175号 J.汽车。推理 56，第1号，1-47（2016）.MSC公司：68吨15 03B35型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtson}等人，J.Autom。推理56，No.1，1-47（2016；Zbl 1356.68175） 全文： 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲安·塔哈尔;穆罕默德·萨拉·哈姆迪 油气管道的正式可靠性分析。 （英文） 兹比尔1304.68151 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，30-44（2014）。MSC公司：68吨15 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmed}等人，Lect。注释计算。科学。8543，30--44（2014；Zbl 1304.68151） 全文： 内政部 arXiv公司
纳伊姆·阿巴斯;奥斯曼·哈桑;索菲涅·塔哈尔 使用定理证明进行寿命可靠性分析的方法。 （英文） Zbl 1277.68216号 J.计算。系统。科学。 80，第2期，323-345（2014）.MSC公司：87年第68季度 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Abbasi}等人，J.Compute。系统。科学。80，第2号，323--345（2014；Zbl 1277.68216） 全文： 内政部
奥斯曼·哈桑;索菲涅·塔哈尔 在高阶逻辑定理证明器中推理条件概率。 （英文） Zbl 1216.68234号 J.应用。日志。 9，第1期，23-40（2011）.MSC公司：68吨15 68层37 PDF格式BibTeX公司 XML格式引用 \textit{O.Hasan}和\textit{S.Tahar}，J.Appl。日志。9，第1号，23--40（2011；Zbl 1216.68234） 全文： 内政部 链接
安迪·普拉泽 混合系统的逻辑分析。证明复杂动力学的定理。 （英文） 兹比尔1211.68412 柏林：施普林格出版社（ISBN 978-3-642-14508-7/hbk；978-3-442-14509-4/电子书）。xxx，426页。(2010).MSC公司：68T27型 68-01 93C83号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Platzer｝，混合系统的逻辑分析。证明复杂动力学的定理。柏林：施普林格出版社（2010；Zbl 1211.68412） 全文： 内政部
JoséN·奥利维拉。 使用无点变换通过计算扩展静态检查。 （英文） Zbl 1250.68093号 Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲座笔记5520，195-251（2009）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；Zbl 1250.68093） 全文： 内政部 链接
朱利安·施马耳茨;多米尼克·博里奥内 芯片通信的一种功能形式化。 （英文） Zbl 1147.68698号 正式Asp。计算。 20，第3期，241-258（2008）.MSC公司：68吨15 2007年7月68日 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Schmaltz}和\textit{D.Borrione}，正式Asp。计算。20，第3号，241--258（2008；Zbl 1147.68698） 全文： 内政部
米洛斯·贝斯塔;弗兰克·斯托普 字符串预处理算法正确性的完全机械化。 （英文） Zbl 1085.68149号 形式方法系统。设计。 27，第1-2、5-17号（2005）.MSC公司：68吨15 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Besta}和\textit{F.Stomp}，《形式方法系统》。设计。27，编号1--2，5--17（2005；Zbl 1085.68149） 全文： 内政部
Paul Z.科拉诺。 使用交互式定理证明器为实时系统提供证明帮助。 （英文） 兹比尔0997.68128 西奥。计算。科学。 282，第1期，53-99（2002）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \文本{P.Z.Kolano}，Theor。计算。科学。282，编号1，53--99（2002；Zbl 0997.68128） 全文： 内政部
劳尔·蒙罗伊;艾伦·邦迪;格林，伊恩 CCS中方程的规划证明。 （英文） Zbl 1034.68646号 自动。柔和。Eng.7，No.3，263-304（2000）。MSC公司：68单位99 68N99型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式 全文： 内政部
冈纳尔·维蒂奇 一种面向问题的方法，用于证明嵌入式系统的实时属性。（问题导向者Ansatz zum Nachweis von Realzeiteigenschaften eingebetter Systeme） （德语） Zbl 0953.68088号 奥尔登堡：奥尔登堡大学，Fachbereich Informatik，ii，123 S.（1999）。MSC公司：60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{G.Wittich}，Ein问题导向者Ansatz zum Nachweis von Realzeiteigenschaften eingebetter Systeme。奥尔登堡：奥尔登堡大学，Fachbereich Informatik（1999；Zbl 0953.68088）