Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5711490
DOI10.1007/b105073zbMath1111.68398MaRDI QIDQ5711490
Mooly Sagiv, Roman Manevich, Eran Yahav, G. Ramalingam
Publication date: 6 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b105073
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework, An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures, The Spotlight Principle, Verification of multi-linked heaps, Programs with lists are counter automata, Model checking dynamic memory allocation in operating systems, Approximate super- and sub-harmonic response of a multi-DOFs system with local cubic nonlinearities under resonance, Verify heaps via unified model checking, Fuzzy set abstraction, Abstraction Refinement for Quantified Array Assertions, Verifying Heap-Manipulating Programs in an SMT Framework, Monotonic Abstraction for Programs with Dynamic Memory Heaps