Compositional specification in rewriting logic.
Óscar MartínAlberto VerdejoNarciso Martí-OlietPublished in: CoRR (2019)
Keyphrases
- asynchronous circuits
- active rules
- termination analysis
- transition systems
- state machine
- linear temporal logic
- formal language
- operational semantics
- logic programming
- multi valued
- model checking
- specification languages
- conjunctive queries
- high level
- proof theory
- modal logic
- set theory
- rewrite rules
- formal verification
- computational properties
- classical logic
- rewriting rules
- temporal logic
- special case
- neural network
- rewriting systems