Theorem proving method for ERM-model formal system

被引：0

作者：

Babanov, Alexey M. ^{[1
,2
]}

Skachkova, Anna S. ^{[2
]}

机构：

[1] Tomsk State Univ, Comp Sci Fac, Tomsk, Russia

[2] Tomsk State Univ, Comp Sci Fac, Dept Software Engn, Tomsk, Russia

来源：

VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE | 2010年 / 11卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：113 / 123

页数：11

共 50 条

[31] FORMAL VERIFICATION OF SYSTOLIC NETWORKS USING THEOREM-PROVING TECHNIQUES
ZHANG, CN
CA-DSP 89, VOLS 1 AND 2: 1989 INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND DIGITAL SIGNAL PROCESSING, 1989, : 116 - 119
[32] A METHOD FOR PROVING THE CENTRAL LIMIT-THEOREM
GAMKRELIDZE, NG
THEORY OF PROBABILITY AND ITS APPLICATIONS, 1980, 25 (03) : 609 - 614
[33] Multimodal system for mechanical geometry theorem proving
Yuan, XH
Zhao, K
Wang, J
CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 284 - 291
[34] On the effectiveness of theorem proving guided discovery of formal assertions for a register allocator in a high-level synthesis system
Narasimhan, N
Vemuri, R
THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 367 - 386
[35] Theorem proving system for logic design verification
Yamada, Naoyuki
Kobayashi, Yasuhiro
Kiguchi, Takashi
Journal of information processing, 1988, 11 (02) : 92 - 104
[36] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
LOVELAND, DW
JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
[37] THE KARLSRUHE INDUCTION THEOREM-PROVING SYSTEM
BIUNDO, S
HUMMEL, B
HUTTER, D
WALTHER, C
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 672 - 674
[38] Theorem proving system based on Tableau - TableauTAP
Liu, Quan
Sun, Jigui
Jisuanji Gongcheng/Computer Engineering, 2006, 32 (07): : 38 - 39
[39] AUTOMATIC THEOREM-PROVING IN THE ISDV SYSTEM
BEIERLE, C
OLTHOFF, W
VOSS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 670 - 671
[40] Theorem proving and proof verification in the system SAD
Lyaletski, A
Paskevich, A
Verchinine, K
MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2004, 3119 : 236 - 250

← 1 2 3 4 5 →