Automating Event-B invariant proofs by rippling and proof patching
Automating Event-B invariant proofs by rippling and proof patching
复制标题
通过波纹和证明修补自动化事件 B 不变证明
DOI：
10.1007/s00165-018-00476-7
复制
发表时间：
2019
影响因子：
1
通讯作者：
Lin Y
中科院分区：
文献类型：
--
作者：
Lin Y
登录
查看更多内容
推理科学（扩展摘要）
DOI：
--
发表时间：
1998
期刊：
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
影响因子：
--
作者：
A. Bundy
通讯作者：
A. Bundy
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
DOI：
10.1007/bf00244460
发表时间：
1996-03-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Ireland, A;Bundy, A
通讯作者：
Bundy, A
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
DOI：
--
发表时间：
1991
期刊：
Computational Logic - Essays in Honor of Alan Robinson
影响因子：
--
作者：
A. Bundy
通讯作者：
A. Bundy