塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 通过概要修复对基于SMT的程序更改进行验证。 （英语） Zbl 07757154号 形式方法系统。设计。 60，第3号，350-380（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人，《形式方法系统》。设计。60，编号3，350-380（2022；兹bl 07757154） 全文： 内政部 OA许可证
塞皮德·阿萨迪;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 基于Farkas的树插值。 （英语） 兹伯利1474.68321 Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 357-379 (2020).MSC公司：68T20型 03B70号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人，Lect。注释计算。科学。12389，357--379（2020；Zbl 1474.68321） 全文： 内政部
甚至门多萨，卡琳;塞皮德·阿萨迪;安蒂·E·J·海瓦·里宁。;哈娜·乔克勒;娜塔莎·莎莉吉娜 有界模型检查中基于格的精化。 （英语） Zbl 1403.68123号 Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294，50-68（2018）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Even-Mendoza}等人，Lect。注释计算。科学。11294，50-68（2018；Zbl 1403.68123） 全文： 内政部