A MECHANIZED THEORY FOR THE VERIFICATION OF REAL-TIME PROGRAM CODE USING HIGHER-ORDER LOGIC

被引：0
|
作者：
CARDELLOLIVER, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 571卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：375 / 392
页数：18
相关论文
共 50 条
  • [1] USING HIGHER-ORDER LOGIC FOR MODELING REAL-TIME PROTOCOLS
    CARDELLOLIVER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 259 - 282
  • [2] USE OF HIGHER-ORDER LOGIC IN PROGRAM VERIFICATION
    ERNST, GW
    HOOKWAY, RJ
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (08) : 844 - 851
  • [3] A Mechanized Translation from Higher-Order Logic to Set Theory
    Krauss, Alexander
    Schropp, Andreas
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 323 - 338
  • [4] USING HIGHER-ORDER LOGIC FOR MODULAR SPECIFICATION OF REAL-TIME DISTRIBUTED SYSTEMS
    MACEWEN, GH
    SKILLICORN, DB
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 36 - 66
  • [5] FORMAL VERIFICATION OF STATE-MACHINES USING HIGHER-ORDER LOGIC
    LOEWENSTEIN, PN
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 204 - 207
  • [6] Lazy Abstraction for Higher-Order Program Verification
    Terao, Taku
    PPDP'18: PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2018,
  • [7] Automated techniques for higher-order program verification
    1600, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
  • [8] Logic program synthesis in a higher-order setting
    Lacey, D
    Richardson, J
    Smaill, A
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 87 - 100
  • [9] Program abstraction in a higher-order logic framework
    Benini, M
    Kalvala, S
    Nowotka, D
    THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 33 - 48
  • [10] Verification of FPGA layout generators in higher-order logic
    Pell, Oliver
    JOURNAL OF AUTOMATED REASONING, 2006, 37 (1-2) : 117 - 152
12345