HMC公司

此软件的关键字
zbMATH中的参考文献(参考文献 7条 )
冠军,阿德里安; 千叶,通屋; 小林,直木; Sato,Ryosuke:基于ICE的高阶功能程序改进型发现(2020) 米利切维奇,亚历山达; 附近,约瑟夫P。; 康恩苏克; 丹尼尔·杰克逊:合金*:通用高阶关系约束求解器(2019) 渡边庆一; 佐藤,琉球; 津田、竹石; Kobayashi,Naoki:自动反驳高阶功能程序的公平终止(2016) 比约纳,尼古拉; 格芬克尔,阿里; 肯·麦克米兰; Rybalchenko,Andrey:项目验证的Horn条款求解器(2015) 吕默,菲利普; 霍杰特,侯赛因; Kuncak,Viktor:关于递归自由Horn子句和Craig插值(2015) 久原诚司,Takuya; 太郎,太郎; 不,弘石; Kobayashi,Naoki:高阶功能程序的自动终止验证(2014) 贾拉,兰吉特; 马朱姆达尔,鲁帕克; Rybalchenko,Andrey:HMC:使用抽象解释器验证功能程序(2011) ioport公司