图巴·亚武兹 部分谓词抽象和反例引导精化。 （英语） Zbl 1494.68177号 J.日志。阿尔盖布。方法计划。 110，文章ID 100437，17 p.（2020）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz}，J.Log（J·洛格）。阿尔盖布。方法计划。110，文章ID 100437，17 p.（2020；Zbl 1494.68177） 全文： 内政部 arXiv公司
图巴·亚武兹 将谓词抽象与不动点近似相结合。 （英语） Zbl 1390.68443号 De Nicola，Rocco（编辑）等人，《软件工程与形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763104-120（2016）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz}，莱克特。注释计算。科学。9763，104-120（2016；Zbl 1390.68443） 全文： 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限状态系统验证的推广策略。 （英语） Zbl 1267.68080号 理论与实践。日志。程序。 13，第2期，175-199（2013）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人，《理论与实践》。日志。程序。13，第2号，175--199（2013；Zbl 1267.68080） 全文： 内政部 arXiv公司
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 验证无限状态系统的程序专业化：一项实验评估。 （英语） Zbl 1326.68184号 Alpunte，María（编辑），基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20550-7/pbk）。计算机科学课堂讲稿6564，164-183（2011）。MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人，Lect。注释计算。科学。6564、164--183（2011年；Zbl 1326.68184） 全文： 内政部