Verification of parallel programs.
Mohd Yazid SamanDavid J. EvansPublished in: Int. J. Comput. Math. (1995)
Keyphrases
- high level programming language
- model checking
- parallel implementation
- hardware designs
- sorting algorithms
- information retrieval
- symbolic execution
- verification method
- multi core processors
- parallel processing
- case study
- database
- computer architecture
- distributed memory
- massively parallel
- object oriented
- information technology
- parallel hardware