Sharing Trees for "on-the-fly" Verification.

François Gagnon Jean-Charles Grégoire D. Zampuniéris

Published in: FORTE (1995)

Keyphrases

decision trees
model checking
tree structure
concurrent systems
data sets
tree structures
information sharing
formal analysis
person identification
asynchronous circuits
information systems
share information
file sharing
tree construction