Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara Olivier Bournez Hassen Kacem Claude Kirchner

Published in: CoRR (2009)

Keyphrases

rewrite rules
timed automata
model checking
temporal logic
rewriting rules
transformation rules
consistency constraints
query optimization
first order logic
theorem prover
complex queries
real time
database systems
relational databases
software engineering
inference rules