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 条
  • [41] Dynamic Energy Storage and Control Management
    Zhu, Hailing
    Ouahada, Khmaies
    2019 IEEE AFRICON, 2019,
  • [42] Towards Safety-Awareness and Dynamic Safety Management
    Trapp, Mario
    Weiss, Gereon
    Schneider, Daniel
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 107 - 111
  • [43] Verification of Genetic Algorithm in Dynamic Traffic Light Management
    Fujdiak, Radek
    Misurec, Jiri
    Mlynek, Petr
    Petrak, Tomas
    2015 38TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND SIGNAL PROCESSING (TSP), 2015, : 314 - 318
  • [44] Coq's Vibrant Ecosystem for Verification Engineering (Invited Talk)
    Appel, Andrew W.
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 2 - 11
  • [45] Extending COQ with Imperative Features and Its Application to SAT Verification
    Armand, Michael
    Gregoire, Benjamin
    Spiwack, Arnaud
    Thery, Laurent
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 83 - 98
  • [46] Formal Derivation and Verification of Coordinate Transformations in Theorem Prover Coq
    Ma, Zhenwei
    Chen, Gang
    2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 127 - 136
  • [47] Spoq: Scaling Machine-Checkable Systems Verification in Coq
    Li, Xupeng
    Li, Xuheng
    Qiang, Wei
    Gu, Ronghui
    Nieh, Jason
    PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023, 2023, : 851 - 869
  • [48] A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation
    Tao, Wenxuan
    Chen, Gang
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2024, 2024, 14637 : 161 - 172
  • [49] Specification and verification of a steam-boiler with signal-coq
    Kerboeuf, M
    Nowak, D
    Talpin, JP
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 356 - 371
  • [50] POSTER: Towards Precise and Automated Verification of Security Protocols in Coq
    Palombo, Hernan M.
    Zheng, Hao
    Ligatti, Jay
    CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 2567 - 2569
12345