Analysing AWN-specifications using mCRL2

Rob van Glabbeek, Peter Höfner, Djurre van der Wal

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)

    Abstract

    We develop and implement a translation from the process Algebra for Wireless Networks (AWN) into the milli Common Representation Language (mCRL2). As a consequence of the translation, the sophisticated toolset of mCRL2 is now available for AWN-specifications. We show that the translation respects strong bisimilarity; hence all safety properties can be automatically checked using the toolset. To show usability of our translation we report on a case study.
    Original languageEnglish
    Title of host publicationIntegrated Formal Methods
    Subtitle of host publication14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    PublisherSpringer
    Pages398-418
    Number of pages21
    ISBN (Electronic)978-3-319-98938-9
    ISBN (Print)978-3-319-98937-2
    DOIs
    Publication statusPublished - 9 Aug 2018

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume11023
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Fingerprint Dive into the research topics of 'Analysing AWN-specifications using mCRL2'. Together they form a unique fingerprint.

    Cite this