Reasoning about Heap Manipulating Programs using Automata Techniques (original) (raw)
Related papers
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work
Electronic Notes in Theoretical Computer Science, 2005
Model and Proof Generation for Heap-Manipulating Programs
Lecture Notes in Computer Science, 2014
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs
Electronic Notes in Theoretical Computer Science, 2005
A logic and decision procedure for verification of heap-manipulating programs
2006
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
Lecture Notes in Computer Science
Structuring the verification of heap-manipulating programs
ACM SIGPLAN Notices, 2010
Automatic assume/guarantee reasoning for heap-manupilating programs
Electronic Notes in Theoretical Computer Science, 2005
Structured Specifications for Better Verification of Heap-Manipulating Programs
FM 2011: Formal Methods, 2011
Automatic certification of heap consumption
Logic for Programming, …, 2005
Model Checking Dynamic Memory Allocation in Operating Systems
Journal of Automated Reasoning, 2009
Forest automata for verification of heap manipulation
Formal Methods in System Design, 2012
Verifying Heap-Manipulating Programs In An SMT Framework⋆
… for Verification and …, 2007
Formal verification of a C-like memory model and its uses for verifying program transformations
Automated Analysis of Data-Dependent Programs with Dynamic Memory
2009
Heap Abstractions for Static Analysis
arXiv (Cornell University), 2019
Automatic Verification of Dynamic Data-Dependent Programs
2010
Verification of Programs Sensitive to Heap Layout
ACM Transactions on Software Engineering and Methodology
09301 Abstracts Collection – Typing, Analysis, and Verification of Heap-Manipulating Programs
2010
Symbolic execution of programs with heap inputs
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
An automata-based symbolic approach for verifying programs on relaxed memory models
2010
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Lecture Notes in Computer Science, 2015
Gradual verification of recursive heap data structures
Proceedings of the ACM on Programming Languages, 2020
Static analysis of heap manipulating low-level software
CAV, LNCS, 2007
Verifying Temporal Heap Properties Specified via Evolution Logic
Logic Journal of IGPL, 2006
Science of Computer Programming, 2005
Sound Runtime Assertion Checking for Memory Properties via Program Transformation
Formal Aspects of Computing
Verification, Model Checking, and …, 2007