Inductive Theorem Proving for Design Specifications

被引：0
|
作者：
机构：
来源：
J Symb Comput | / 1卷 / 41期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A role for theorem proving in multi-processor design
    Camilleri, AJ
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 45 - 48
  • [32] Combining theorem proving and continuous models in synchronous design
    Nadjm-Tehrani, S
    Åkerlund, O
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1384 - 1399
  • [33] A reflective functional language for hardware design and theorem proving
    Grundy, J
    Melham, T
    O'Leary, J
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2006, 16 : 157 - 196
  • [34] The Use of Automated Theorem Proving for Error Analysis and Removal in Safety Critical Embedded System Specifications
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip A.
    2017 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2017, : 358 - 361
  • [35] Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
    Kikuchi, Kentaro
    Aoto, Takahito
    Sasano, Isao
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [36] THEOREM-PROVING AS AN INDUSTRIAL TOOL FOR SYSTEM LEVEL DESIGN
    BAINBRIDGE, S
    CAMILLERI, A
    FLEMING, R
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 253 - 274
  • [37] Probabilistic Theorem Proving
    Gogate, Vibhav
    Domingos, Pedro
    COMMUNICATIONS OF THE ACM, 2016, 59 (07) : 107 - 115
  • [38] Proving the Stone theorem
    Nakano, H
    ANNALS OF MATHEMATICS, 1944, 42 : 665 - 667
  • [39] THEOREM PROVING WITH LEMMAS
    PETERSON, GE
    JOURNAL OF THE ACM, 1976, 23 (04) : 573 - 581
  • [40] Refinement and theorem proving
    Manolios, Panagiotis
    FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 176 - 210
12345