Slide 11 Data Link Protocols By Erik Reeber Slide 2 2 Goals Use SPIN to model-check successively more complex protocols Using the protocols in Tannenbaums 3 rd Edition of…