Quick formal modeling of communication fabrics to enable verification.
Satrajit ChatterjeeMichael KishinevskyÜmit Y. OgrasPublished in: HLDVT (2010)
Keyphrases
- formal methods
- website
- formal analysis
- communication systems
- data mining
- machine learning
- communication networks
- modeling method
- colored petri nets
- data sets
- communication protocols
- mathematical theory
- formal models
- human computer
- signature verification
- modeling language
- information sharing
- model checking
- learning algorithm
- information retrieval
- neural network