Two Examples of Verification of Multirate Timed Automata with Kronos.

Conrado Daws Sergio Yovine

Published in: RTSS (1995)

Keyphrases

timed automata
model checking
temporal logic
reachability analysis
formal verification
filter bank
formal methods
theorem prover
real time
case study
similarity measure
subband
image processing
artificial intelligence
face verification
asynchronous circuits
database