Protocol Validation: A Parallel Technique to Reduce the Reachability Tree.

Abderrahim Benslimane

Published in: PARLE (1994)

Keyphrases

tree structure
state space
b tree
lightweight
parallel processing
shared memory
parallel implementation
real time
genetic algorithm
bayesian networks
index structure
hierarchical structure
parallel computing
formal analysis
binary tree