Reachability Analysis in Boxed Ambients.

Nadia Busi Gianluigi Zavattaro

Published in: ICTCS (2005)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
real time
data mining
temporal logic
temporal information
low cost
contextual information
steady state