SODA

CCS as a method of specification and verification: analysis of a case study

Ernberg, Patrik (1991) CCS as a method of specification and verification: analysis of a case study. [SICS Report]

[img]
Preview
PDF
3558Kb

Abstract

We present a method of specification and verification based on CCS and observation equivalence. The method is applied to an ISDN layer 3 access protocol and an automatic tool is used to verify the correctness of the specification. Finally, we evaluate the method and tools used in the case study.

Item Type:SICS Report
ID Code:2190
Deposited By:Vicki Carleson
Deposited On:16 Jan 2009
Last Modified:18 Nov 2009 16:01

Repository Staff Only: item control page