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 条
  • [1] Formal verification of the heap manager of an operating system using separation logic
    Marti, Nicolas
    Affeldt, Reynald
    Yonezawa, Akinori
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 400 - +
  • [2] Formal verification of the heap manager of an operating system using separation logic
    Marti, Nicolas
    Affeldt, Reynald
    Yonezawa, Akinori
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4260 LNCS : 400 - 419
  • [3] Modular Verification of Heap Reachability Properties in Separation Logic
    Ter-Gabrielyan, Arshavir
    Summers, Alexander J.
    Mueller, Peter
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [4] Forest automata for verification of heap manipulation
    Peter Habermehl
    Lukáš Holík
    Adam Rogalewicz
    Jiří Šimáček
    Tomáš Vojnar
    Formal Methods in System Design, 2012, 41 : 83 - 106
  • [5] Forest automata for verification of heap manipulation
    Habermehl, Peter
    Holik, Lukas
    Rogalewicz, Adam
    Simacek, Jiri
    Vojnar, Tomas
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (01) : 83 - 106
  • [6] Automatic Heap Layout Manipulation for Exploitation
    Heelan, Sean
    Melham, Tom
    Kroening, Daniel
    PROCEEDINGS OF THE 27TH USENIX SECURITY SYMPOSIUM, 2018, : 763 - 779
  • [7] Verification-Preserving Inlining in Automatic Separation Logic Verifiers
    Dardinier, Thibault
    Parthasarathy, Gaurav
    Mueller, Peter
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [8] Heap-Dependent Expressions in Separation Logic
    Smans, Jan
    Jacobs, Bart
    Piessens, Frank
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 170 - 185
  • [9] AUTOMATIC VERIFICATION OF ASYNCHRONOUS CIRCUITS USING TEMPORAL LOGIC
    DILL, DL
    CLARKE, EM
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 276 - 282
  • [10] A Separation Logic for Heap Space under Garbage Collection
    Madiot, Jean-Marie
    Pottier, Francois
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6
12345