Automatic Verification of Multi-queue Discrete Timed Automata.

Pierluigi San Pietro Zhe Dang

Published in: COCOON (2003)

Keyphrases

timed automata
model checking
reachability analysis
discrete version
theorem prover
steady state
finite number
real time
theorem proving
hazard rate
queueing theory
loss probability
discrete geometry
state dependent
first order logic
neural network
data sets