Compositional Verification in Rewriting Logic.
Óscar MartínAlberto VerdejoNarciso Martí-OlietPublished in: CoRR (2023)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- bounded model checking
- proof theory
- logic programming
- model checker
- multi valued
- predicate logic
- classical logic
- formal verification
- neural network
- modal logic
- rewriting systems
- set theory
- functional verification
- presburger arithmetic
- algebraic structure
- nonmonotonic logics
- face verification
- conjunctive queries
- special case
- multi agent systems