渡边庆一;佐藤隆介;津田,武士;直纪小林 自动否定高阶函数程序的公平终止。 (英文) Zbl 1361.68153号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。243-255 (2016). 引用于1文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68甲18 函数编程和lambda演算 68吨15 定理证明(演绎、解析等)(MSC2010) 关键词:自动验证;CEGAR公司;公平终止;高阶模型检验;高阶程序;谓词抽象 引文:Zbl 1347.68233号;Zbl 1347.68231号 软件:z3(零3);HMC公司;TravMC2型;HorSatP公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Watanabe}等人,in:第21届ACM SIGPLAN函数编程国际会议论文集,2016年9月18日至22日,日本奈良ICFP’16。纽约州纽约市:计算机协会(ACM)。243-255(2016年;兹比尔1361.68153) 全文: 内政部