Formal specification and verification of a dataflow processor array.
Thomas A. HenzingerXiaojun LiuShaz QadeerSriram K. RajamaniPublished in: ICCAD (1999)
Keyphrases
- formal specification
- processor array
- model checking
- concurrent systems
- design methodology
- formal methods
- model checker
- specification language
- specification languages
- temporal logic
- parallel algorithm
- protocol specification
- parallel implementation
- process algebra
- object oriented design
- formal verification
- grid workflow
- reverse engineering
- asynchronous circuits
- parallel computing
- software components
- mesh connected
- data flow
- parallel computers
- databases
- binary images
- array processor
- control flow
- massively parallel
- artificial intelligence