Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.
Bengt JonssonLars KempePublished in: CAV (1995)
Keyphrases
- theoretical analysis
- orders of magnitude
- distributed computation
- computational complexity
- computational efficiency
- distributed systems
- learning algorithm
- fault tolerant
- recently developed
- distributed environment
- worst case
- computationally efficient
- benchmark datasets
- monitoring system
- significant improvement
- training set
- data structure
- image processing
- database
- convex optimization problems