CCS as a method of specification and verification: analysis of a case study
Number of Authors: 1
1991 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1991, 1. , 31 p.
SICS Technical Report, ISSN 1100-3154 ; T91:05
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21440OAI: oai:DiVA.org:ri-21440DiVA: diva2:1041476