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 条
  • [41] Theorem proving for product line model verification
    Mannion, M
    Camara, J
    SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 211 - 224
  • [42] Model Evolution-Based Theorem Proving
    Baumgartner, Peter
    IEEE INTELLIGENT SYSTEMS, 2014, 29 (01) : 4 - 10
  • [43] THE KRIPKE AUTOMATED THEOREM-PROVING SYSTEM
    THISTLEWAITE, PB
    MCROBBIE, MA
    MEYER, RK
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 705 - 706
  • [44] Executing the formal semantics of the accellera property specification language by mechanised theorem proving
    Gordon, M
    Hurd, J
    Slind, K
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 200 - 215
  • [45] Formal Verification of C Systems CodeStructured Types, Separation Logic and Theorem Proving
    Harvey Tuch
    Journal of Automated Reasoning, 2009, 42 : 125 - 187
  • [46] Formal verification of Matrix based MATLAB models using interactive theorem proving
    Gauhar, Ayesha
    Rashid, Adnan
    Hasan, Osman
    Bispo, Joao
    Cardoso, Joao M. P.
    PEERJ COMPUTER SCIENCE, 2021, 7 : 1 - 21
  • [47] Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes
    Sardar, Muhammad Usama
    Hasan, Osman
    Shafique, Muhammad
    Henkel, Joerg
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2017, 100 : 157 - 171
  • [48] A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
    Elderhalli, Yassmeen
    Hasan, Osman
    Tahar, Sofiene
    IEEE ACCESS, 2019, 7 : 136176 - 136192
  • [49] A formal software verification concept based on automated theorem proving and reverse engineering
    Popovic, M
    Kovacevic, V
    Velikic, I
    NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 59 - 66
  • [50] A Unified Formal Model for Proving Security and Reliability Properties
    Hu, Wei
    Wu, Lingjuan
    Tai, Yu
    Tan, Jing
    Zhang, Jiliang
    2020 IEEE 29TH ASIAN TEST SYMPOSIUM (ATS), 2020, : 30 - 35
12345