CCS as a method of specification and verification: analysis of a case study
Patrik Ernberg · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1991
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.