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.
Series
SICS Technical Report, ISSN 1100-3154 ; T91:05
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21440OAI: oai:DiVA.org:ri-21440DiVA: diva2:1041476
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 8 downloads
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

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link