Analysing AWN-specifications using mCRL2

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

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

    1 Citation (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

    Algebra
    Wireless networks
    Specifications

    Cite this

    van Glabbeek, R., Höfner, P., & van der Wal, D. (2018). Analysing AWN-specifications using mCRL2. In Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 398-418). (Lecture Notes in Computer Science; Vol. 11023). Springer. https://doi.org/10.1007/978-3-319-98938-9_23
    van Glabbeek, Rob ; Höfner, Peter ; van der Wal, Djurre. / Analysing AWN-specifications using mCRL2. Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Springer, 2018. pp. 398-418 (Lecture Notes in Computer Science).
    @inbook{ee70f37c27ab424da0b6590a1bb60b5c,
    title = "Analysing AWN-specifications using mCRL2",
    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.",
    author = "{van Glabbeek}, Rob and Peter H{\"o}fner and {van der Wal}, Djurre",
    year = "2018",
    month = "8",
    day = "9",
    doi = "10.1007/978-3-319-98938-9_23",
    language = "English",
    isbn = "978-3-319-98937-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "398--418",
    booktitle = "Integrated Formal Methods",

    }

    van Glabbeek, R, Höfner, P & van der Wal, D 2018, Analysing AWN-specifications using mCRL2. in Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11023, Springer, pp. 398-418. https://doi.org/10.1007/978-3-319-98938-9_23

    Analysing AWN-specifications using mCRL2. / van Glabbeek, Rob; Höfner, Peter; van der Wal, Djurre.

    Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Springer, 2018. p. 398-418 (Lecture Notes in Computer Science; Vol. 11023).

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

    TY - CHAP

    T1 - Analysing AWN-specifications using mCRL2

    AU - van Glabbeek, Rob

    AU - Höfner, Peter

    AU - van der Wal, Djurre

    PY - 2018/8/9

    Y1 - 2018/8/9

    N2 - 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.

    AB - 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.

    U2 - 10.1007/978-3-319-98938-9_23

    DO - 10.1007/978-3-319-98938-9_23

    M3 - Chapter

    SN - 978-3-319-98937-2

    T3 - Lecture Notes in Computer Science

    SP - 398

    EP - 418

    BT - Integrated Formal Methods

    PB - Springer

    ER -

    van Glabbeek R, Höfner P, van der Wal D. Analysing AWN-specifications using mCRL2. In Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Springer. 2018. p. 398-418. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-98938-9_23