Title

Automated verifications of communication protocols using CCS and BDDs

Abstract

The application of formal methods in protocol verification is of great importance, especially in the area of safety critical systems. Formal methods, however, are scarcely used in industrial practice today because they are hardly to integrate into the conventional system design and require a high effort in computing. We describe the implementation and application of a tool that handles formal specifications written in the process calculus CCS. The automatic verification process is based on binary decision diagrams to efficiently cope with state explosion problems. As an verification example we use a model of the CSMA/CD protocol including propagation delay effects on the transmission medium.

Publication Date

1-1-1998

Publication Title

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volume

1388

Number of Pages

1057-1066

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1007/3-540-64359-1_771

Socpus ID

84947432595 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84947432595

This document is currently not available here.

Share

COinS