We provide a treatise about checkign proofs of distirubte dsystems by computer using geenral purpose proof checkers.In particular,we present two approaches to verifying and checking the verification of the Sequential Line Interface Protocol (SLIP),one suing rewriting techniques and one using the so-called cones and foci theorem.Finally,we present an overview of literrature containing checked proofs.
展开▼