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 条
  • [41] Automatic verification of reduction techniques in Higher Order Logic
    Abed, Sa'ed
    Mohamed, Otmane Ait
    Al Sammane, Ghiath
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (06) : 971 - 991
  • [42] Towards automatic assertion refinement for separation logic
    Ireland, Andrew
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 309 - 312
  • [43] Completeness and expressiveness of pointer program verification by separation logic
    Tatsuta, Makoto
    Chin, Wei-Ngan
    Al Ameen, Mahmudul Faisal
    INFORMATION AND COMPUTATION, 2019, 267 : 1 - 27
  • [44] Separation Logic Verification of C Programs with an SMT Solver
    Botincan, Matko
    Parkinson, Matthew
    Schulte, Wolfram
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 (5-23) : 5 - 23
  • [45] Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
    Lect Notes Comput Sci, (563):
  • [46] A Heap Manipulation Diversity Fuzzing Method for Spatial Heap Vulnerabilities Exploitation
    Li, Runhao
    Zhang, Bin
    Wang, Tao
    Tang, Chaojing
    2023 8th International Conference on Intelligent Computing and Signal Processing, ICSP 2023, 2023, : 200 - 204
  • [47] AUTOMATIC IDENTIFICATION OF EQUIVALENCE POINTS FOR BOOLEAN LOGIC VERIFICATION.
    Donath, W.E.
    Ofek, H.
    IBM Technical Disclosure Bulletin, 1976, 18 (08): : 2700 - 2703
  • [48] Smallfoot: Modular automatic assertion checking with separation logic
    Berdine, Josh
    Calcagno, Cristiano
    O'Hearn, Peter W.
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 115 - 137
  • [49] Multris: Functional Verification of Multiparty Message Passing in Separation Logic
    Hinrichsen, Jonas Kastberg
    Jacobs, Jules
    Krebbers, Robbert
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [50] Modular Verification of Linked Lists with Views via Separation Logic
    Jensen, Jonas Braband
    Birkedal, Lars
    Sestoft, Peter
    JOURNAL OF OBJECT TECHNOLOGY, 2011, 10 : 21 - 40
12345