An efficient verification method for parallel and distributed programs.
Shmuel KatzDoron A. PeledPublished in: REX Workshop (1988)
Keyphrases
- verification method
- distributed processing
- model checking
- distributed systems
- master slave
- cooperative
- temporal logic
- load balance
- distributed environment
- distributed data
- computer programs
- parallel execution
- multiple independent
- multi agent
- distributed network
- parallel database systems
- parallel query processing
- programming environment
- high level programming language
- real time
- communication cost
- fault tolerant
- computer networks
- computationally efficient
- peer to peer
- databases
- database
- parallel implementation
- parallel programming
- computing environments
- multi threaded
- lightweight
- sorting algorithms
- evolutionary algorithm
- parallel data mining