Compositional Verification of a Switch Fabric from Nortel Networks.
Hong PengSofiène TaharYassine MokhtariPublished in: ICFEM (2003)
Keyphrases
- functional verification
- network design
- social networks
- formal analysis
- high speed
- model checking
- heterogeneous networks
- switched networks
- network topologies
- data sets
- network structure
- verification method
- fingerprint verification
- formal verification
- network model
- texture analysis
- complex networks
- complex systems
- mobile devices
- multi agent
- image sequences
- computer vision
- real world
- neural network
- databases