Verification of multi-linked heaps
DOI10.1016/J.JCSS.2011.08.003zbMATH Open1246.68093OpenAlexW1985592284MaRDI QIDQ439948FDOQ439948
Authors: Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck 
Publication date: 17 August 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.003
Recommendations
verificationshape analysistreesmodel checkingabstractionsmall modelterminationheapslistsranking abstraction
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Science Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programs with Lists Are Counter Automata
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations of Software Science and Computation Structures
- Verification, Model Checking, and Abstract Interpretation
- Verification by augmented finitary abstraction
- A Logic-Based Framework for Reasoning about Composite Data Structures
- MODULAR RANKING ABSTRACTION
- Title not available (Why is that?)
- Undecidability results on two-variable logics
- A combination framework for tracking partition sizes
- Computer Aided Verification
- Shape Analysis of Single-Parent Heaps
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps
Cited In (2)
Uses Software
This page was built for publication: Verification of multi-linked heaps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439948)
