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 条
  • [31] Verification of PLC Properties Based on Formal Semantics in Coq
    Blech, Jan Olaf
    Biha, Sidi Ould
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 58 - +
  • [32] Modular Verification of Programs with Effects and Effect Handlers in Coq
    Letan, Thomas
    Regis-Gianas, Yann
    Chifflier, Pierre
    Hiet, Guillaume
    FORMAL METHODS, 2018, 10951 : 338 - 354
  • [33] QWIRE Practice: Formal Verification of Quantum Circuits in Coq
    Rand, Robert
    Paykin, Jennifer
    Zdancewic, Steve
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (266): : 119 - 132
  • [34] Description and Verification of Pattern-Based Composition in Coq
    Liu, Qiang
    Ynag, Zhongyuan
    Xie, Jinkui
    ADVANCES IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 28 : 231 - 245
  • [35] Using Coq for Formal Modeling and Verification of Timed Connectors
    Hong, Weijiang
    Nawaz, M. Saqib
    Zhang, Xiyue
    Li, Yi
    Sun, Meng
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 558 - 573
  • [36] Verification of PCP-Related Computational Reductions in Coq
    Forster, Yannick
    Heiter, Edith
    Smolka, Gert
    INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 253 - 269
  • [37] Hardware verification using co-induction in COQ
    Coupet-Grimal, S
    Jakubiec, L
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 91 - 108
  • [38] Formalisation and verification of programmable logic controllers timers in Coq
    Wan, H.
    Chen, G.
    Song, X.
    Gu, M.
    IET SOFTWARE, 2011, 5 (01) : 32 - 42
  • [39] AptStore: Dynamic Storage Management for Hadoop
    Krish, K. R.
    Khasymski, Aleksandr
    Butt, Ali R.
    Tiwari, Sameer
    Bhandarkar, Milind
    2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, 2013, : 33 - 41
  • [40] ONE METHOD OF DYNAMIC STORAGE MANAGEMENT
    SMERTIN, AN
    VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1985, (03): : 110 - 111
12345