Decision Procedures for Region Logic
No abstract available.
Related papers
- Yet Another Decision Procedure for Equality Logic CAV 2005
- Efficient Decision Procedures for Model Checking of Linear Time Logic Properties CAV 1999
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs VMCAI 2006
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic APLAS 2016
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- A Coalgebraic Decision Procedure for NetKAT POPL 2015
- Verified decision procedures for MSO on words based on derivatives of regular expressions ICFP 2013
- Revisiting MITL to Fix Decision Procedures VMCAI 2018