Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara Olivier Bournez Hassen Kacem Claude Kirchner

Published in: CoRR (2001)

Keyphrases

rewrite rules
timed automata
model checking
temporal logic
rewriting rules
transformation rules
real time systems
machine learning
sql queries
theorem prover
distributed systems
theorem proving
complex queries
consistency constraints
first order logic
management system
databases