Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68131OpenAlexW2504714231MaRDI QIDQ5899082

Antoine Meyer, Alexander Rabinovich, Greta Yorsh, Mooly Sagiv, Ahmed Bouajjani

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Program verification with interacting analysis plugins ⋮ Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Separation logics and modalities: a survey ⋮ On the almighty wand ⋮ Verifying Heap-Manipulating Programs in an SMT Framework ⋮ Verification of multi-linked heaps ⋮ On the Almighty Wand ⋮ Quantitative separation logic and programs with lists ⋮ An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures ⋮ Beyond Shapes: Lists with Ordered Data ⋮ Modeling and Verifying Graph Transformations in Proof Assistants

This page was built for publication: Foundations of Software Science and Computation Structures