Verification of Computer Switching Networks: An Overview.

Shuyuan Zhang Sharad Malik Rick McGeer

Published in: ATVA (2012)

Keyphrases

computer systems
network design
model checking
computer networks
personal computer
network model
formal methods
neural network
learning algorithm
image sequences
multi agent systems
expert systems
community detection
network topologies
optical burst switching