王秋叶;陈明帅;薛、白;詹乃军;Joost-Pieter卡托恩 将归纳不变量编码为屏障证书:通过差分凸编程进行综合。 (英语) Zbl 07629155号 Inf.计算。 289,A部分,文章ID 104965,29 p.(2022)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人,《信息计算》。289,A部分,文章ID 104965,29 p.(2022;Zbl 07629155) 全文: 内政部 arXiv公司
安德鲁·索戈孔;斯特凡·米奇;Tan,Yong Kiam(陈永健);凯瑟琳·科德威尔;安德烈·普拉泽 飞马座:声音连续不变生成。 (英语) Zbl 1505.68045号 形式方法系统。设计。 58,编号1-2,5-41(2021)。MSC公司:68伏15 34-04 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,《形式方法系统》。设计。58,编号1--2,5--41(2021;Zbl 1505.68045) 全文: 内政部 arXiv公司 OA许可证
王秋叶;陈明帅;薛、白;詹乃军;Joost-Pieter卡托恩 通过差分-凸规划合成不变屏障证书。 (英语) Zbl 1493.68222号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 443-466 (2021).MSC公司:60年第68季度 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人,Lect。注释计算。科学。12759443-466(2021年;Zbl 1493.68222) 全文: 内政部 arXiv公司 OA许可证
安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan,Yong Kiam先生;安德烈·普拉泽 病媒屏障证书和比较系统。 (英语) Zbl 1460.93012号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 418-437 (2018).MSC公司:93个B03 60年第68季度 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,Lect。注释计算。科学。10951,418--437(2018;Zbl 1460.93012) 全文: 内政部 链接