Protocol design and implementation using formal methods

    Research output: Contribution to journalArticleAcademicpeer-review

    14 Citations (Scopus)
    1308 Downloads (Pure)


    This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS transformations. This transformational approach is described in some detail and is illustrated with a protocol design example. The paper concludes with some suggestions for relating design methods to milestones in the protocol design and implementation processes.
    Original languageUndefined
    Pages (from-to)478-491
    Number of pages14
    JournalComputer journal
    Issue number5
    Publication statusPublished - Oct 1992


    • SCS-Services
    • METIS-118619
    • IR-64452
    • EWI-11380

    Cite this