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.|
|Deposited By:||Vicki Carleson|
|Deposited On:||17 Sep 2009|
|Last Modified:||18 Nov 2009 16:10|
Repository Staff Only: item control page