CCS as a method of specification and verification: analysis of a case study

Ernberg, Patrik

Simple search

Advanced search

Statistics

Change search

Cite ExportLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21440

Direct link

https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1041476

Cite

Citation style

apa
ieee
modern-language-association-8th-edition
vancouver
Other style

More styles

Language

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale

More languages

Output format

html
text
asciidoc
rtf

CCS as a method of specification and verification: analysis of a case study

Ernberg, Patrik

RISE - Research Institutes of Sweden, ICT, SICS.

1991 (English)Report (Other academic)

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. , p. 31

Series

SICS Technical Report, ISSN 1100-3154 ; T91:05

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:ri:diva-21440OAI: oai:DiVA.org:ri-21440DiVA, id: diva2:1041476

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2025-09-23Bibliographically approved

Open Access in DiVA

fulltext(3558 kB)

124 downloads

File information

File name FULLTEXT01.pdfFile size 3558 kBChecksum SHA-512

4889cddedd9653de91f6a57b613e886e215c51ef6e88beba9991de5bc0ae9f2e6d95c4ab17aec0b1135792cf7b150646234ca80209177480355553f44d3a77fc

Type fulltextMimetype application/pdf

By organisation

SICS

On the subject