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 条
  • [41] Formalization of Linear Space Theory in the Higher-Order Logic Proving System
    Zhang, Jie
    Mao, Danwen
    Guan, Yong
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [42] Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
    Maruyama, Yoshihiro
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2020, 12062 : 187 - 203
  • [43] Partial order reduction for verification of real-time components
    Hakansson, John
    Pettersson, Paul
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2007, 4763 : 211 - +
  • [44] Automated Reasoning in Higher-Order Logic using the TPTP THE Infrastructure
    Sutcliffe, Geoff
    Benzmueller, Christoph
    JOURNAL OF FORMALIZED REASONING, 2010, 3 (01): : 1 - 27
  • [45] Linear temporal logic with clocks for verification of real-time systems
    Li, Guang-Yuan
    Tang, Zhi-Song
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (01): : 33 - 41
  • [46] SYSTEM FOR AUTOMATED REAL-TIME GENERATION OF HIGHER-ORDER ENERGY SUBTRACTION IMAGES IN DIGITAL FLUOROSCOPY
    RIEDERER, SJ
    ERGUN, DL
    KRUGER, RA
    SHAW, CG
    MISTRETTA, CA
    PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 1981, 314 : 210 - 217
  • [47] A real-time QRS detector based on higher-order statistics for ECG gated cardiac MRI
    Schmidt, Marcus
    Krug, Johannes W.
    Gierstorfer, Andreas
    Rose, Georg
    2014 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 41, 2014, 41 : 733 - 736
  • [48] Distributed causal memory: Modular specification and verification in higher-order distributed separation logic
    Gondelman, Léon
    Gregersen, Simon Oddershede
    Nieto, Abel
    Timany, Amin
    Birkedal, Lars
    Proceedings of the ACM on Programming Languages, 2021, 5 (POPL)
  • [49] An algorithm for space-time block code classification using higher-order statistics (HOS)
    Yan, Wenjun
    Zhang, Limin
    Ling, Qing
    SPRINGERPLUS, 2016, 5
  • [50] Real-time and simultaneous recognition of multiple moving objects using Cubic Higher-order Local Auto-Correlation
    Shimohata, Yasuyuki
    Otsu, Nobuyuki
    2008 IEEE SOUTHWEST SYMPOSIUM ON IMAGE ANALYSIS & INTERPRETATION, 2008, : 49 - +
12345