Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68623OpenAlexW4298302743MaRDI QIDQ5312907FDOQ5312907

Alexander Rabinovich, Thomas Reps, Greta Yorsh, Mooly Sagiv, Neil Immerman

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

Recommendations

• Automated Deduction – CADE-20
• Simulating reachability using first-order logic with applications to verification of linked data structures
• A logic of reachable patterns in linked data-structures
• Tools and Algorithms for the Construction and Analysis of Systems
• Verifying concurrent data structures by simulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (10)

• Generalised multi-pattern-based verification of programs with linear linked structures
• Sequential, Parallel, and Quantified Updates of First-Order Structures
• Quantitative separation logic and programs with lists
• Refinement checking based on simulation relations
• Verification of multi-linked heaps
• Simulating reachability using first-order logic with applications to verification of linked data structures
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Hybrid Systems: Computation and Control
• A logic of reachable patterns in linked data-structures
• Automated Deduction – CADE-20

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312907)