Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.
Dorel LucanuVlad RusuAndrei ArusoaieDavid NowakPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- delay insensitive
- formal language
- asynchronous circuits
- logic programming
- automated reasoning
- logical framework
- logic programs
- derivation rules
- proof theory
- operational semantics
- computational properties
- desirable properties
- structural properties
- classical logic
- multi valued
- digital circuits
- deontic logic
- modal logic
- integrity constraints
- query processing