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 条
  • [21] A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving
    Pourpouneh, Mohsen
    Ramezanian, Rasoul
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2016, 8 (01): : 3 - 24
  • [22] Integrated formal verification: Using model checking with automated abstraction, invariant generation, and theorem proving
    Rushby, J
    THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 1 - 11
  • [23] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
    WU Jinzhao(Institute of Systems Science
    SystemsScienceandMathematicalSciences, 1996, (04) : 313 - 318
  • [24] Combinations of model checking and theorem proving
    Uribe, TE
    FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 151 - 170
  • [25] THE TPS THEOREM-PROVING SYSTEM
    ANDREWS, PB
    PFENNING, F
    ISSAR, S
    KLAPPER, CP
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 663 - 664
  • [26] THE TPS THEOREM-PROVING SYSTEM
    ANDREWS, PB
    ISSAR, S
    NESMITH, D
    PFENNING, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 760 - 761
  • [27] A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving
    Elderhalli, Yassmeen
    Hasan, Osman
    Tahar, Sofiene
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2020, 2020, 12236 : 105 - 122
  • [28] A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving
    Abdelghany, Mohamed
    Rashid, Adnan
    Tahar, Sofiene
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 298 - 314
  • [29] Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
    O'Leary, John
    Kaivola, Roope
    Melham, Tom
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 97 - 104
  • [30] FORMAL VERIFICATION OF FAULT TOLERANCE USING THEOREM-PROVING TECHNIQUES
    KLJAICH, J
    SMITH, BT
    WOJCIK, AS
    IEEE TRANSACTIONS ON COMPUTERS, 1989, 38 (03) : 366 - 376
12345