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 条
  • [31] Combining Higher-Order Logic with Set Theory Formalizations
    Cezary Kaliszyk
    Karol Pąk
    Journal of Automated Reasoning, 2023, 67
  • [32] Real-Time Transient Reduction in Higher-Order Time-Varying Musical Filters
    Deshpande, Nikhil
    Wedelich, Russell
    AES: Journal of the Audio Engineering Society, 2022, 70 (06): : 457 - 468
  • [33] Higher-Order Program Verification and Language-Based Security
    Kobayashi, Naoki
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2009: INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2009, 5913 : 17 - 23
  • [34] An observationally complete program logic for imperative higher-order functions
    Honda, Kohei
    Yoshida, Nobuko
    Berger, Martin
    THEORETICAL COMPUTER SCIENCE, 2014, 517 : 75 - 101
  • [35] An observationally complete program logic for imperative higher-order functions
    Honda, K
    Yoshida, N
    Berger, M
    LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 270 - 279
  • [36] Program logic for higher-order probabilistic programs in Isabelle/HOL
    Hirata, Michikazu
    Minamide, Yasuhiko
    Sato, Tetsuya
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 230
  • [37] Object-oriented verification based on record subtyping in higher-order logic
    Naraschewski, W
    Wenzel, M
    THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 349 - 366
  • [38] Applying the modality principle to real-time feedback and the acquisition of higher-order cognitive skills
    Logan Fiorella
    Jennifer J. Vogel-Walcutt
    Sae Schatz
    Educational Technology Research and Development, 2012, 60 : 223 - 238
  • [39] Applying the modality principle to real-time feedback and the acquisition of higher-order cognitive skills
    Fiorella, Logan
    Vogel-Walcutt, Jennifer J.
    Schatz, Sae
    ETR&D-EDUCATIONAL TECHNOLOGY RESEARCH AND DEVELOPMENT, 2012, 60 (02): : 223 - 238
  • [40] RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach
    Jahli, Saeed
    MirzaAghaei, Mehdi
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 550 - +
12345