Safety verification of dynamic storage management in coq

被引：0
|
作者：
Xiang, Sen [1 ]
Chen, Yiyun [1 ]
Lin, Chunxiao [1 ]
Li, Long [1 ]
机构：
[1] Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2007年 / 44卷 / 02期
关键词：
Software engineering;
D O I：
10.1360/crad20070225
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：361 / 367
相关论文
共 50 条
  • [1] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    Journal of Logical and Algebraic Methods in Programming, 2021, 120
  • [2] Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul
    Trucco, Francisco
    Ziliani, Beta
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 120
  • [3] COQ Cock Correct! Verification of Type Checking and Erasure for COQ, in COQ
    Sozeau, Matthieu
    Boulier, Simon
    Forster, Yannick
    Tabareau, Nicolas
    Winterhalter, Theo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [4] Verification of Java programs in Coq
    Department of Computer Science, Royal Holloway University of London, Surrey, United Kingdom
    Comput. Sci. Electron. Eng. Conf., CEEC,
  • [5] Verification of Design of Memory Management Module for Embedded System Based on Coq
    Li Shaofeng
    Qiao Lei
    Yang Mengfei
    PROCEEDINGS OF 2020 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2020), 2020, : 44 - 47
  • [6] Operating System Task Management Requirements Layer Modeling and Verification Based on Coq
    Jiang, Jing-Jing
    Qiao, Lei
    Yang, Meng-Fei
    Yang, Hua
    Liu, Bo
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (08): : 2375 - 2387
  • [7] Computational Verification of Network Programs in Coq
    Stewart, Gordon
    CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 33 - 49
  • [8] Formalization and Verification of PLC Timers in Coq
    Wan, Hai
    Chen, Gang
    Song, Xiaoyu
    Gu, Ming
    2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 315 - +
  • [9] Modeling and verification of component connectors in Coq
    Li, Yi
    Sun, Meng
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 285 - 301
  • [10] Formalization and verification of a mail server in Coq
    Affeldt, R
    Kobayashi, N
    SOFTWARE SECURITY - THEORIES AND SYSTEMS, 2003, 2609 : 217 - 233
12345