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 条
  • [1] Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
    Atayan, VV
    Morokhovets, MK
    CYBERNETICS AND SYSTEMS ANALYSIS, 1996, 32 (03) : 442 - 465
  • [2] Formal Availability Analysis Using Theorem Proving
    Ahmed, Waqar
    Hasan, Osman
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 226 - 242
  • [3] Formal Reliability Analysis Using Theorem Proving
    Hasan, Osman
    Tahar, Sofiene
    Abbasi, Naeem
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (05) : 579 - 592
  • [4] On the Formal Analysis of HMM Using Theorem Proving
    Liu, Liya
    Aravantinos, Vincent
    Hasan, Osman
    Tahar, Sofiene
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 316 - 331
  • [5] Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving
    Ahmad, Waqar
    Hasan, Osman
    Awwad, Falah
    Bastaki, Nabil
    Hasan, Syed Rafay
    IEEE SYSTEMS JOURNAL, 2020, 14 (04): : 4820 - 4831
  • [6] ERM-model's synonymy and problems of scheme consistency and completeness ensuring.
    Babanov, Aleksey M.
    Skachkova, Anna S.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2012, 20 (03): : 121 - 128
  • [7] Formal Verification of Control Systems' Properties with Theorem Proving
    Araiza-Illan, Dejanira
    Eder, Kerstin
    Richards, Arthur
    2014 UKACC INTERNATIONAL CONFERENCE ON CONTROL (CONTROL), 2014, : 244 - 249
  • [8] Formal Analysis of Soft Errors using Theorem Proving
    Abbasi, Naeem
    Hasan, Osman
    Tahar, Sofiene
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (122): : 75 - 84
  • [9] Formal Verification of Universal Numbers using Theorem Proving
    Rashid, Adnan
    Gauhar, Ayesha
    Hasan, Osman
    Abed, Sa'ed
    Ahmad, Imtiaz
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2024, 40 (03): : 329 - 345
  • [10] Formal specification and theorem proving breakthroughs in geometric modeling
    Puitg, F
    Dufourd, JF
    THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 401 - 422
12345