HMC公司

此软件的关键字
zbMATH参考文献(参考
7篇文章
参考)
Champion,Adrien;千叶,Tomoya;Kobayashi,Naoki;Sato,Ryosuke:高阶功能程序的基于冰的改进型发现(2020) Milicevic,Aleksandar;Near,Joseph P.;Kang,Eunsuk;Jackson,Daniel:合金*:通用高阶关系约束求解器(2019) Watanabe,Keiichi;Sato,Ryosuke;Tsukada,Takeshi;Kobayashi,Naoki:自动反驳高阶功能程序的公平终止(2016) Bjørner,Nikolaj;Gurfinkel,Arie;McMillan,Ken;Rybalchenko,Andrey:项目验证的Horn条款求解器(2015) Rümmer,Philipp;Hojjat,Hossein;Kuncak,Viktor:关于递归自由Horn子句和Craig插值(2015) Kuwahara,Takuya;Terauchi,Tachio;Unno,Hiroshi;Kobayashi,Naoki:高阶功能程序的自动终止验证(2014) Jhala,Ranjit;Majumdar,Rupak;Rybalchenko,Andrey:HMC:使用抽象解释器验证功能程序(2011) ioport公司