A Lightweight Integration of Theorem Proving and Model Checking for System Verification
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
复制标题
用于系统验证的定理证明和模型检查的轻量级集成
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Weiqiang Kong;Kazuhiro Ogata;Takahiro Seino;Kokichi Futatsugi
DOI：
10.1016/s1571-0661(05)82536-8
发表时间：
2004
期刊：
IEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (C
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
使用 HOL-Z 验证签名架构
DOI：
10.1007/11526841_19
发表时间：
2005
期刊：
IEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (C
影响因子：
--
作者：
D. Basin;Hironobu Kuruma;K. Takaragi;B. Wolff
通讯作者：
B. Wolff
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi