Challenges in Verifying Communication Fabrics.

Michael Kishinevsky Alexander Gotmanov Yuriy Viktorov

Published in: ITP (2011)

Keyphrases

technical challenges
key issues
communication systems
lessons learned
machine learning
model checking
communication technologies
communication protocols
real world
defect detection
open issues
resource constrained
communication cost
communication networks
cooperative
data structure
multiscale
website
search engine