The verification of a distributed system

Abstract

A practitioner's guide to increasing confidence in system correctness. 
DOI: 10.1145/2844108

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

010203020162017
Citations per Year

Citation Velocity: 11

Averaging 11 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics