瑟·特凡·乔巴赫；多雷尔·卢卡努；安德烈·塞巴斯蒂安·布鲁安 使用LCTRS进行基于操作的程序等价性证明。 （英语） Zbl 07741960号 J.日志。阿尔盖布。方法计划。 135，文章ID 100894，22 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛Ş.Ciobâcă｝等人，J.Log。阿尔盖布。方法计划。135，文章ID 100894，22 p.（2023；Zbl 07741960） 全文： 内政部 arXiv公司
克里斯坦·米勒；赫尔穆特·塞德尔 分层防护一级过渡系统。 （英语） Zbl 1474.68192号 Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 113-133 (2020).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Müller}和\textit{H.Seidl}，Lect。注释计算。科学。12389、113--133（2020年；Zbl 1474.68192） 全文： 内政部
吉尔·巴特；古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳；大卫·皮哈迪 恒定时间加密的系统级不干涉。II： 验证了静态分析和隐形内存。 （英语） Zbl 1459.68027号 J.汽车。推理 64，第8期，1685-1729（2020）.MSC公司：68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理64，No.8，1685--1729（2020；Zbl 1459.68027） 全文： 内政部
周，齐；大卫·希思；威廉·哈里斯 通过不变量引导的同步进行关系验证。 （英语） 兹比尔1483.68216 De Angelis，Emanuele（ed.）等人，《第六次Horn子句验证与合成研讨会论文集》，HCVS 2019，以及第三次程序等效与关系推理研讨会论文集，2019年4月6日至7日，捷克共和国布拉格，PERR 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29628-41（2019）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhou}等人，电子。程序。西奥。计算。科学。（EPTCS）296，28-41（2019；Zbl 1483.68216） 全文： arXiv公司 链接
蒂姆·伍德；索菲亚·德罗索波洛；Shuvendu K.拉希里。；苏珊·艾森巴赫 内存分配情况下程序等效性的模块化验证。 （英语） Zbl 1485.68077号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 937-963 (2017).MSC公司：68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Wood}等人，Lect。注释计算。科学。10201、937--963（2017；Zbl 1485.68077） 全文： 内政部 链接