Automating Invariant Verification of Behavioral Specifications
Automating Invariant Verification of Behavioral Specifications
复制标题
自动验证行为规范的不变性
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Masahiro Nakano;Kazuhiro Ogata;Masaki Nakamura;Kokichi Futatsugi
登录
查看更多内容
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
使用定理证明验证不变量
DOI：
--
发表时间：
1996
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
S. Graf;Hassen Saïdi
通讯作者：
Hassen Saïdi
SET 形式化验证的方程方法
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 4th International Conference on Quality Software (4th QSIC),(IEEE Computer Society Press)
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
证明秘密很容易
DOI：
10.1109/csfw.2001.930139
发表时间：
2001
期刊：
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.
影响因子：
--
作者：
V. Cortier;J. Millen;H. Ruess
通讯作者：
H. Ruess
iKP 电子支付协议的正式分析
DOI：
10.1007/3-540-36532-x_25
发表时间：
2002
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi