Message Flow Analysis and Run-Time Verification for Parallel Programs.
Sheausong YangJie-Yong JuangPublished in: ICPP (2) (1989)
Keyphrases
- flow analysis
- information flow
- symbolic execution
- high level programming language
- sorting algorithms
- compute intensive
- model checking
- neural network
- formal verification
- forensic analysis
- supply chain
- programs written
- shared memory
- computer programs
- parallel implementation
- parallel execution
- parallel processing
- distributed systems
- social networks
- data mining