Tutorial on verification of protocols

Pehrson, Björn (1988) Tutorial on verification of protocols. [SICS Report]



The paper is a tutorial on some formal methods for verification of communication protocols. We focus on methods to show that a proposed communication protocol meets its specification by proving safety and liveness properties. Emphasis is put on finite state spaces for which algorithms are available which can be used to mechanise property proving.

Item Type:SICS Report
Additional Information:Original report number R88012.
ID Code:2535
Deposited By:Vicki Carleson
Deposited On:17 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page