Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.
Christina JansenJens KatelaanChristoph MathejaThomas NollFlorian ZulegerPublished in: ESOP (2017)
Keyphrases
- data structure
- formal theory
- automated reasoning
- computational efficiency
- formal language
- classical logic
- qualitative reasoning
- symbolic description
- asynchronous circuits
- epistemic logic
- computational properties
- databases
- probability theory
- spatial reasoning
- suffix tree
- high level
- knowledge base
- artificial intelligence