Formal specification of networks-on-chips: deadlock and evacuation.
Freek VerbeekJulien SchmaltzPublished in: DATE (2010)
Keyphrases
- formal specification
- model checking
- specification language
- specification languages
- object oriented design
- formal methods
- process algebra
- data abstraction
- reverse engineering
- concurrent systems
- transportation networks
- social networks
- simulation model
- network structure
- cellular automata
- high speed
- information systems
- integrated circuit
- temporal logic
- computer networks
- multi agent
- software components
- formal specification language