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 条
  • [21] Natural Proofs for Data Structure Manipulation in C using Separation Logic
    Pek, Edgar
    Qiu, Xiaokang
    Madhusudan, P.
    ACM SIGPLAN NOTICES, 2014, 49 (06) : 440 - 451
  • [22] Verification of protocol specifications with separation logic
    Kiss, Tibor
    Craciun, Florin
    Pary, Bazil
    2015 IEEE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2015, : 109 - 116
  • [23] AUTOMATIC VERIFICATION OF SEQUENTIAL CONTROL-SYSTEMS USING TEMPORAL LOGIC
    MOON, I
    POWERS, GJ
    BURCH, JR
    CLARKE, EM
    AICHE JOURNAL, 1992, 38 (01) : 67 - 75
  • [24] Mechanical verification of recursive procedures manipulating pointers using separation logic
    Preoteasa, Viorel
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 508 - 523
  • [25] Modular Verification of Termination and Execution Time Bounds Using Separation Logic
    Hamin, Jafar
    Jacobs, Bart
    PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 110 - 117
  • [26] Program Verification Under Weak Memory Consistency Using Separation Logic
    Vafeiadis, Viktor
    COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 30 - 46
  • [27] Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates
    Brotherston, James
    Gorogiannis, Nikos
    Kanovich, Max
    Rowe, Reuben
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 84 - 96
  • [28] Automatic verification of pointer programs using monadic second-order logic
    Jensen, JL
    Jorgensen, ME
    Klarlund, N
    Schwartzbach, MI
    ACM SIGPLAN NOTICES, 1997, 32 (05) : 226 - 234
  • [29] Hack the Heap: Heap Layout Manipulation made Easy
    Gennissen, Jordy
    O'Keeffe, Daniel
    2022 43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2022), 2022, : 289 - 300
  • [30] Automata generation for on-the-fly automatic verification using formulas of an interval logic
    Hornos, MJ
    Capel, MI
    SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS, 2001, : 221 - 230
12345