Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.
Cristina DavidDaniel KroeningMatt LewisPublished in: ESOP (2015)
Keyphrases
- data structure
- propositional logic
- qualitative reasoning
- computer programs
- answer set programs
- first order logic
- integrity constraints
- loop formulas
- default logic
- automatic programming
- statistical relational learning
- multi valued
- horn clauses
- neural network
- safety critical
- propositional formulas
- stable models
- fixpoint
- programming environment
- information systems
- spatial reasoning
- database systems
- answer sets
- normal form