Inductive Theorem Proving for Design Specifications

被引：0
|
作者：
机构：
来源：
J Symb Comput | / 1卷 / 41期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
    Schmidt-Samoa, Tobias
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (01) : 3 - 20
  • [22] Translating timed I/O automata specifications for theorem proving in PVS
    Lim, HP
    Kaynar, D
    Lynch, N
    Mitra, S
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 17 - 31
  • [23] Theorem proving based on proof scores for rewrite theory specifications of OTSs
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 630 - 656
  • [24] CONSTRUCTIVE MATCHING - EXPLANATION BASED METHODOLOGY FOR INDUCTIVE THEOREM-PROVING
    FRANOVA, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 464 : 138 - 147
  • [25] Automated inductive theorem proving using transformations of term rewriting systems
    Sato, Koichi
    Kikuchi, Kentaro
    Aoto, Takahito
    Toyama, Yoshihito
    Computer Software, 2015, 32 (01): : 179 - 193
  • [26] A good class of tree automata. application to inductive theorem proving
    Lugiez, D
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 409 - 420
  • [27] Maude2Lean: Theorem proving for Maude specifications using Lean
    Rubio, Ruben
    Riesco, Adrian
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2025, 142
  • [28] Theorem proving system for logic design verification
    Yamada, Naoyuki
    Kobayashi, Yasuhiro
    Kiguchi, Takashi
    Journal of information processing, 1988, 11 (02) : 92 - 104
  • [29] Inductive theorem proving by program specialisation: Generating proofs for Isabelle using ECCE
    Lehmann, H
    Leuschel, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 1 - 19
  • [30] Industrially proving the SPIRIT Consortium specifications for design chain integration
    Lennard, Christopher K.
    Berman, Victor
    Fazzari, Saverio
    Indovina, Mark
    Ussery, Cary
    Strik, Marino
    Wilson, John
    Florent, Olivier
    Remond, Francois
    Bricaud, Pierre
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1477 - 1482
12345