Automated verifications of communication protocols using CCS and BDDs

    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