S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.
Quang Loc LeJun SunLong H. PhamShengchao QinPublished in: CoRR (2022)
Keyphrases
- proof theory
- automated reasoning
- order of magnitude reasoning
- deductive reasoning
- intuitionistic logic
- computational properties
- logical inference
- logical framework
- human reasoning
- proof theoretic
- probabilistic logic
- logic programming
- knowledge representation
- logical rules
- reasoning engine
- commonsense reasoning
- knowledge representation and reasoning
- knowledge representation formalisms
- proof procedure
- knowledge base
- modal logic
- classical logic
- temporal difference
- abductive reasoning
- reasoning tasks
- reinforcement learning
- software systems
- reasoning systems
- predicate logic
- derivation rules
- horn logic
- source code
- default reasoning
- inference rules
- causal reasoning
- td learning
- function approximation
- learning algorithm
- multi valued
- propositional logic
- root cause
- probability theory
- reinforcement learning algorithms
- probabilistic knowledge
- reasoning about actions