Change search
ReferencesLink to record
Permanent link

Direct link
CCS as a method of specification and verification: analysis of a case study
Number of Authors: 1
1991 (English)Report (Refereed)
Abstract [en]

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
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14129OAI: diva2:1035413
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(3558 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 3558 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link