Solving First-Order Fixpoint Logic for Program Verification
Solving First-Order Fixpoint Logic for Program Verification
复制标题
求解程序验证的一阶不动点逻辑
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Eric Koskinen
中科院分区：
文献类型：
--
作者：
Takashi Nishikawa;Yuki Satake;Yoji Nanjo;Hiroshi Unno;Naoki Kobayashi;Tachio Terauchi;Eric Koskinen
登录
查看更多内容
DOI：
10.1007/3-540-49727-7_15
发表时间：
1998-09
期刊：
--
影响因子：
--
作者：
J. Peralta;J. Gallagher;Hüseyin Saglam
通讯作者：
J. Peralta;J. Gallagher;Hüseyin Saglam
作为具有代数数据类型的可满足性模理论的高阶程序验证
DOI：
--
发表时间：
2013
期刊：
arXiv.org
影响因子：
--
作者：
Nikolaj S. Bjørner;K. McMillan;A. Rybalchenko
通讯作者：
A. Rybalchenko
DOI：
--
发表时间：
1999
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Julian Bradfield
通讯作者：
Julian Bradfield
验证无限状态系统的日益富有表现力的时态逻辑
DOI：
--
发表时间：
2017
期刊：
Journal of the the ACM
影响因子：
--
作者：
Byron Cook
通讯作者：
Byron Cook
DOI：
10.1145/2603088.2603138
发表时间：
2014-07
期刊：
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Eric Koskinen;Tachio Terauchi
通讯作者：
Eric Koskinen;Tachio Terauchi