拉文·贝特纳;伯恩德·芬克贝纳 超越\（k\）-安全的超属性的软件验证。 （英语） Zbl 1514.68122号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 341-362 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。13371、341--362（2022；Zbl 1514.68122） 全文： 内政部 arXiv公司
迪米特里·博伦德;斯特凡·科瓦列夫斯基 利用Horn子句解决PLC软件的成分验证。 （英语） Zbl 1435.68190号 离散事件动态。系统。 30，编号1，1-24（2020）。MSC公司：60年第68季度 68号30 68问题55 93C85号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bohlender｝和\textit｛S.Kowalewski｝，离散事件Dyn。系统。30，第1号，1-24（2020；Zbl 1435.68190） 全文： 内政部
J·朱利安德。;O.库什纳伦科。;马森，P.A。;沃伊隆，G。 从事件系统抽象生成测试，以覆盖其状态和转换。 （英语。俄文原件） Zbl 1455.68104号 程序。计算。柔和。 44，第1期，1-14（2018）; 翻译自Programmirovanie 44，No.1，3-20（2018）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Julliand｝等人，程序。计算。柔和。44，第1号，1-14（2018；Zbl 1455.68104）；译自Programmirovanie 44，No.1，3--20（2018） 全文： 内政部
渡边庆一;佐藤隆介;津田，武士;直纪小林 自动否定高阶函数程序的公平终止。 （英语） Zbl 1361.68153号 Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。243-255 (2016).MSC公司：60年第68季度 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Watanabe}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。243-255（2016；Zbl 1361.68153） 全文： 内政部
奥利·萨里基维;凯乔·赫尔扬科 LCTD：LLVM上C程序的测试指导证明。 （英语） Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85，第6期，1292-1317（2016）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko}，J.Log。阿尔盖布。方法计划。85，第6号，1292--1317（2016；Zbl 1392.68149） 全文： 内政部