Login / Signup
Validating Protocol Composition for Progress by Parallel Step Reachability Analysis.
Gurdip Singh
Hong Liu
Published in:
FORTE (1997)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
lightweight
incremental algorithms
state space
parallel processing
learning algorithm
shared memory
parallel implementation