Testing the Satisfiability of Formulas in Separation Logic with Permissions.
Nicolas PeltierPublished in: TABLEAUX (2023)
Keyphrases
- computational properties
- modal logic
- predicate calculus
- satisfiability problem
- decision procedures
- access control
- modal operators
- logical formulas
- conjunctive normal form
- linear time temporal logic
- propositional logic
- boolean formula
- cnf formula
- logical implication
- quantifier free
- bounded model checking
- multi valued
- propositional theories
- truth values
- automated reasoning
- propositional formulas
- test cases
- np complete
- propositional variables
- nonmonotonic logics
- proof theory
- search space
- classical logic
- sat problem
- probability theory
- phase transition
- description logics