Automated Deduction – CADE-20
From MaRDI portal
Publication:5394615
DOI10.1007/11532231zbMath1135.03330OpenAlexW2485416161MaRDI QIDQ5394615
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Related Items
Verifying Visibility-Based Weak Consistency, Symbol elimination and applications to parametric entailment problems, Satisfiability Modulo Theories, Constraint solving for interpolation, On First-Order Model-Based Reasoning, Modular instantiation schemes, Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata, Modular proof systems for partial functions with Evans equality, PTIME parametric verification of safety properties for reasonable linear hybrid automata, On deciding satisfiability by theorem proving with speculative inferences, Complete instantiation-based interpolation, Parametrized invariance for infinite state processes, On Combinations of Local Theory Extensions, Unnamed Item, On Hierarchical Reasoning in Combinations of Theories, Hierarchical Reasoning for the Verification of Parametric Systems, On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving, Locality Results for Certain Extensions of Theories with Bridging Functions, Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates, An Efficient Decision Procedure for Imperative Tree Data Structures, On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions, Invariant Synthesis for Combined Theories, On Local Reasoning in Verification, Towards Complete Reasoning about Axiomatic Specifications, Decision Procedures for Automating Termination Proofs, On Interpolation and Symbol Elimination in Theory Extensions, On invariant synthesis for parametric systems, Theory decision by decomposition, Applications of Hierarchical Reasoning in the Verification of Complex Systems, Set of support, demodulation, paramodulation: a historical perspective, Automatic Verification of Combined Specifications: An Overview
Uses Software
