Computer Aided Verification
From MaRDI portal
Publication:5312907
DOI10.1007/b98490zbMath1103.68623OpenAlexW4298302743MaRDI QIDQ5312907
Alexander Rabinovich, Neil Immerman, Greta Yorsh, Mooly Sagiv, Thomas W. Reps
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Related Items (5)
Generalised multi-pattern-based verification of programs with linear linked structures ⋮ A logic of reachable patterns in linked data-structures ⋮ Verification of multi-linked heaps ⋮ Quantitative separation logic and programs with lists ⋮ Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
This page was built for publication: Computer Aided Verification
