Combining decision procedures.

DOI10.1007/B11934MaRDI QIDQ5900552zbMATH OpenOpenAlexFDO

Authors Zohar Manna, Calogero G. Zarba

Publication date 30 March 2010

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2090060
• Combining nonstably infinite theories
• Combining non-stably infinite theories
• Strategies for combining decision procedures
• On Shostak's decision procedure for combinations of theories

Cited in

(33)

• Combination of convex theories: modularity, deduction completeness, and explanation
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
• Politeness for the theory of algebraic datatypes
• Strategies for combining decision procedures
• Theory blending: extended algorithmic aspects and examples
• Canonization for disjoint unions of theories
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
• scientific article; zbMATH DE number 1614688 (Why is no real title available?)
• Combining SAT methods with non-clausal decision heuristics
• An efficient Nelson-Oppen decision procedure for difference constraints over rationals
• Model-based theory combination
• Decision procedures for region logic
• Combining theories: the Ackerman and guarded fragments
• Sharing is caring: combination of theories
• Satisfiability modulo theories
• Verifying Heap-Manipulating Programs in an SMT Framework
• Data structures with arithmetic constraints: A non-disjoint combination
• Deciding Combinations of Theories
• scientific article; zbMATH DE number 1302382 (Why is no real title available?)
• Combining decision procedures by (model-)equality propagation
• scientific article; zbMATH DE number 1956606 (Why is no real title available?)
• On Shostak's decision procedure for combinations of theories
• scientific article; zbMATH DE number 2086593 (Why is no real title available?)
• scientific article; zbMATH DE number 2086596 (Why is no real title available?)
• scientific article; zbMATH DE number 2090127 (Why is no real title available?)
• scientific article; zbMATH DE number 2090312 (Why is no real title available?)
• Combining non-stably infinite theories
• Combinable Extensions of Abelian Groups
• Connecting many-sorted theories
• Logics in Artificial Intelligence
• Frontiers of Combining Systems
• Reasoning About Data Trees Using CHCs
• Combining nonstably infinite theories

This page was built for publication: Combining decision procedures.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900552)