Automated Deduction – CADE-20
From MaRDI portal
Publication:5394609
DOI10.1007/11532231zbMath1135.68556arXiv0904.4902MaRDI QIDQ5394609
No author found.
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0904.4902
Related Items
An Efficient Decision Procedure for Imperative Tree Data Structures, An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures, Program verification with interacting analysis plugins, Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language, Enforcing Structural Invariants Using Dynamic Frames, Matching Logic: An Alternative to Hoare/Floyd Logic, Decidable Fragments of Many-Sorted Logic, Verifying Heap-Manipulating Programs in an SMT Framework, Abstracting Complex Data Structures by Hyperedge Replacement