A Verification Logic for Rewriting Logic.

Narciso Martí-Oliet Isabel Pita José Luiz Fiadeiro José Meseguer T. S. E. Maibaum

Published in: J. Log. Comput. (2005)

Keyphrases

logic programming
model checking
asynchronous circuits
model checker
verification method
classical logic
linear temporal logic
multi valued
computational properties
proof theory
epistemic logic
deontic logic
defeasible logic
linear time temporal logic
predicate logic
database
modal logic
databases
real time