Verification of Distributed Programs Using Representative Interleaving Sequences.
Shmuel KatzDoron A. PeledPublished in: Distributed Comput. (1992)
Keyphrases
- distributed environment
- distributed systems
- computer networks
- hardware designs
- distributed database systems
- fault tolerant
- model checking
- peer to peer
- sequential patterns
- cooperative
- multi agent
- communication cost
- case study
- distributed computing
- distributed data
- distributed architecture
- distributed network
- verification method
- genetic algorithm