Decision Procedures for Region Logic

DOI10.1007/978-3-642-27940-9_25zbMath1326.68264OpenAlexW74662786MaRDI QIDQ2891431

Anindya Banerjee, Stan Rosenberg, David A. Naumann

Publication date: 15 June 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_25

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Unifying separation logic and region logic to allow interoperability

Uses Software

• Dafny
• z3
• SIMPLIFY
• Boogie
• VERL

Cites Work

• Unnamed Item
• Unnamed Item
• Tarskian set constraints
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Model-based Theory Combination
• Dafny: An Automatic Program Verifier for Functional Correctness
• Sets with Cardinality Constraints in Satisfiability Modulo Theories
• Simplify: a theorem prover for program checking
• Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
• Collections, Cardinalities, and Relations
• Simplification by Cooperating Decision Procedures
• Verification: Theory and Practice
• Computer Aided Verification
• Automated Deduction – CADE-20
• Formal Methods at the Crossroads. From Panacea to Foundational Support

This page was built for publication: Decision Procedures for Region Logic