Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68113OpenAlexW2496613029MaRDI QIDQ5898619

Zvonimir Rakamarić, Jesse Bingham

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11609773

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Verification of heap manipulating programs with ordered data by extended forest automata ⋮ Using refinement calculus techniques to prove linearizability ⋮ Verifying Heap-Manipulating Programs in an SMT Framework ⋮ A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Verification of multi-linked heaps ⋮ An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures

This page was built for publication: Verification, Model Checking, and Abstract Interpretation