A New Refinement Type System for Automated nu-HFLZ Validity Checking
A New Refinement Type System for Automated nu-HFLZ Validity Checking
复制标题
用于自动 nu-HFLZ 有效性检查的新型细化系统
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
and Takeshi Tsukada
中科院分区：
文献类型：
--
作者：
Hiroyuki Katsura;Naoki Iwayama;Naoki Kobayashi;and Takeshi Tsukada
登录
查看更多内容
作为保留类型推理的高阶程序验证
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
山森 章弘;小林隆志;後藤浩之;村岡 大輔，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno;寄高 啓司，松井 健，八杉 昌宏，平石 拓，馬谷 誠二;後藤浩之，稲谷昌之，羽田浩二，池田貴昭，高屋俊康，木村紗也佳，秋山良平，澤田純男，満永仁志，飯山かほり，盛川仁;Hiroshi Unno;後藤浩之，田中伸明，澤田純男，稲谷栄巳;Sho Torii;奥野 伸吾，平石 拓，中島 浩，八杉 昌宏，瀬々 潤;後藤浩之，羽田浩二，澤田純男，吉田望，大内徹;新垣芳一，澤田純男，後藤浩之;諏訪 将大，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno
通讯作者：
Hiroshi Unno
用于验证的高阶约束喇叭子句
影响因子：
--
作者：
Cathcart Burn T
通讯作者：
Cathcart Burn T
用于 nuHFL(Z) 有效性检查的谓词抽象和 CEGAR
DOI：
--
发表时间：
2020
期刊：
Proceedings of SAS 2020, Springer LNCS
影响因子：
--
作者：
Naoki Iwayama;Naoki Kobayashi;Ryota Suzuki and Takeshi Tsukada
通讯作者：
Ryota Suzuki and Takeshi Tsukada
ELDARICA 号角求解器
DOI：
--
发表时间：
2018
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Hossein Hojjat;P. Rümmer
通讯作者：
P. Rümmer
影响因子：
0.5
作者：
Mahesh Viswanathan;R. Viswanathan
通讯作者：
R. Viswanathan