Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
From MaRDI portal
Publication:3613378
DOI10.1007/11823230_5zbMath1225.68067OpenAlexW1522742464MaRDI QIDQ3613378
Adam Rogalewicz, Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
Publication date: 12 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11823230_5
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 (22)
Model checking dynamic memory allocation in operating systems ⋮ Controlled Term Rewriting ⋮ Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies ⋮ Automata-based verification of programs with tree updates ⋮ A Logic-Based Framework for Reasoning about Composite Data Structures ⋮ Counterexample Validation and Interpolation-Based Refinement for Forest Automata ⋮ Monotonic Abstraction for Programs with Dynamic Memory Heaps ⋮ Forest automata for verification of heap manipulation ⋮ Abstracting Complex Data Structures by Hyperedge Replacement ⋮ Verify heaps via unified model checking ⋮ Programs with lists are counter automata ⋮ Equational approximations for tree automata completion ⋮ Verifying Multithreaded Recursive Programs with Integer Variables ⋮ An Efficient Decision Procedure for Imperative Tree Data Structures ⋮ Computing Simulations over Tree Automata ⋮ Juggrnaut: using graph grammars for abstracting unbounded heap structures ⋮ Automata-Based Termination Proofs ⋮ Bottom-Up Shape Analysis ⋮ Handling Left-Quadratic Rules When Completing Tree Automata ⋮ Approximated parameterized verification of infinite-state processes with global conditions ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks ⋮ Automated formal analysis and verification: an overview
Uses Software
This page was built for publication: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
