Verification of CRWL Programs with Rewriting Logic.
José Miguel ClevaIsabel PitaPublished in: J. Univers. Comput. Sci. (2006)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- dynamic logic
- recursive programs
- symbolic execution
- magic sets
- model checker
- modal logic
- logic programming
- hardware designs
- computer programs
- bounded model checking
- signature verification
- predicate logic
- linear time temporal logic
- declarative semantics
- functional programs
- logic programs
- classical logic
- formal methods
- formal verification
- epistemic logic
- conjunctive queries
- agent programming
- concurrent systems
- multi valued
- expressive power
- nonmonotonic logics
- temporal logic
- termination analysis
- face verification
- horn clauses
- stable models
- query rewriting
- logical framework