Compositional Verification in Rewriting Logic.
Óscar MartínAlberto VerdejoNarciso Martí-OlietPublished in: Theory Pract. Log. Program. (2024)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- bounded model checking
- classical logic
- formal verification
- modal logic
- logic programming
- automated reasoning
- query rewriting
- functional verification
- artificial intelligence
- linear time temporal logic
- rewriting rules
- epistemic logic
- predicate logic
- logical framework
- formal methods
- active rules
- multi valued
- temporal logic
- termination analysis
- conjunctive queries
- knowledge base