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