A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.
Sanjit A. SeshiaShuvendu K. LahiriRandal E. BryantPublished in: DAC (2003)
Keyphrases
- bounded model checking
- multi valued
- decision makers
- decision making
- proof procedure
- answer set programming
- logic programming
- predicate logic
- classical logic
- decision rules
- decision model
- linear temporal logic
- relational structures
- ai planning
- decision process
- search procedure
- modal logic
- decision problems
- model checking
- basis functions