xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification.

Satrajit Chatterjee Michael Kishinevsky Ümit Y. Ogras

Published in: IEEE Des. Test Comput. (2012)

Keyphrases

formal methods
communication overhead
computer networks
neural network
search engine
model checking
real time
formal specification
communication channels
multi party
resource constrained
formal verification
communication protocol
formal models