Login / Signup
Verifying Properties of Large Sets of Processes with Network Invariants.
Pierre Wolper
Vinciane Lovinfosse
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
imperative programs
complex networks
closed sets
network resources
network structure
network management
peer to peer
communication patterns
real time
link prediction
clustering coefficient
network topologies
communication channels
computer networks
network traffic
end to end
process model
web services