Login / Signup
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