Executable formal specification and validation of NoC communication infrastructures.
Dominique BorrioneAmr HelmyLaurence PierreJulien SchmaltzPublished in: SBCCI (2008)
Keyphrases
- formal specification
- model checking
- process algebra
- object oriented design
- specification languages
- specification language
- packet switched
- reverse engineering
- formal methods
- open systems
- data abstraction
- concurrent systems
- communication networks
- communication protocols
- temporal logic
- software components
- relational databases
- software development
- cooperative
- multi processor
- computer networks
- database systems
- knowledge base
- network on chip
- databases