伊坦·辛格;沙迦·伊扎基 以演绎综合为动力的理论探索。 （英语） Zbl 1493.68388号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 125-148 (2021).MSC公司：68伏15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Singher}和\textit{S.Itzhaky}，莱克特。注释计算。科学。12760、125-148（2021年；Zbl 1493.68388） 全文： 内政部 arXiv公司 OA许可证
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;伊利亚·谢尔盖 带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 110-134 (2021).MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053） 全文： 内政部 OA许可证