马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 （英语） Zbl 07596574号 日志。方法计算。科学。 18，第3号，第26号论文，28页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人，《日志》。方法计算。科学。18，第3号，第26号论文，28页（2022；Zbl 07596574） 全文： 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂亚尼 通过使用EUF对LRA进行增量缩减，对NRA过渡系统进行不变量检查。 （英语） Zbl 1452.68116号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 58-75 (2017).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。10205，58-75（2017；Zbl 1452.68116） 全文： 内政部 arXiv公司