Ernberg, Patrik (1991) CCS as a method of specification and verification: analysis of a case study. [SICS Report]
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|
|Deposited By:||Vicki Carleson|
|Deposited On:||16 Jan 2009|
|Last Modified:||18 Nov 2009 16:01|
Repository Staff Only: item control page