Declarative Debugging of Membership Equational Logic Specifications.
Rafael CaballeroNarciso Martí-OlietAdrián RiescoAlberto VerdejoPublished in: Concurrency, Graphs and Models (2008)
Keyphrases
- delay insensitive
- attribute grammars
- asynchronous circuits
- bounded model checking
- high level
- theorem proving
- horn clauses
- logical formulas
- formal language
- knowledge representation
- transition systems
- logic programming
- automated reasoning
- declarative semantics
- first order logic
- operational semantics
- modal logic
- rule engine
- predicate logic
- execution traces
- proof theory
- recursive programs
- lattice theory
- deontic logic
- model checker
- classical logic
- specification language
- truth maintenance systems
- production rules
- theorem prover
- model based diagnosis
- model checking
- formal specification
- multi valued