Title

Automated verifications of communication protocols using CCS and BDDs

Authors

Authors

R. Lichtenecker; K. Gotthardt;J. Zalewski

Comments

Authors: contact us about adding a copy of your work at STARS@ucf.edu

Keywords

Computer Science, Theory & Methods

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.

Journal Title

Parallel and Distributed Processing

Volume

1388

Publication Date

1-1-1998

Document Type

Article

Language

English

First Page

1057

Last Page

1066

WOS Identifier

WOS:000077612600108

ISSN

0302-9743; 3-540-64359-1

Share

COinS