Automatic Verification of Heap Manipulation Using Separation Logic

被引：0
|
作者：
Berdine, Josh
机构：
来源：
SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS | 2009年 / 5404卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：34 / 34
页数：1
相关论文
共 50 条
  • [31] Completeness of Pointer Program Verification by Separation Logic
    Tatsuta, Makoto
    Chin, Wei-Ngan
    Al Ameen, Mahmudul Faisal
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 179 - +
  • [32] A Program Construction and Verification Tool for Separation Logic
    Dongol, Brijesh
    Gomes, Victor B. F.
    Struth, Georg
    MATHEMATICS OF PROGRAM CONSTRUCTION, MPC 2015, 2015, 9129 : 137 - 158
  • [33] Enhancing modular OO verification with separation logic
    Chin, Wei-Ngan
    David, Cristina
    Nguyen, Huu Hai
    Qin, Shengchao
    ACM SIGPLAN NOTICES, 2008, 43 (01) : 87 - 99
  • [34] Verification Algorithms for Automated Separation Logic Verifiers
    Eilers, Marco
    Schwerhoff, Malte
    Mueller, Peter
    COMPUTER AIDED VERIFICATION, PT I, CAV 2024, 2024, 14681 : 362 - 386
  • [35] Enhancing Modular OO Verification with Separation Logic
    Chin, Wei-Ngan
    David, Cristina
    Nguyen, Huu Hai
    Qin, Shengchao
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 87 - 99
  • [36] Towards mechanized program verification with separation logic
    Weber, T
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 250 - 264
  • [37] Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
    Jansen, Christina
    Katelaan, Jens
    Matheja, Christoph
    Noll, Thomas
    Zuleger, Florian
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 611 - 638
  • [38] A High-Level Separation Logic for Heap Space under Garbage Collection
    Moine, Alexandre
    Chargueraud, Arthur
    Pottier, Francois
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 718 - 747
  • [39] BOOLEAN MANIPULATION WITH FREE BDDS - AN APPLICATION IN COMBINATIONAL LOGIC VERIFICATION
    GERGOV, J
    MEINEL, C
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 309 - 314
  • [40] AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
    CLARKE, EM
    EMERSON, EA
    SISTLA, AP
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02): : 244 - 263
12345