3 ms·The Verification of a Distributed System: increasing confidence in correctness1 points by alanfranzoni 11y ago