Analysing AWN-Specifications Using mCRL2 (Extended Abstract)

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
EditorsCarlo A. Furia, Kirsten Winter
Place of PublicationCham
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
Event14th International Conference on integrated Formal Methods - Co. Kildare, Ireland
Duration: 5 Sept 20187 Sept 2018
https://ifm2018.cs.nuim.ie/

Publication series

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

Conference

Conference14th International Conference on integrated Formal Methods
Abbreviated titleIFM 2018
Country/TerritoryIreland
CityCo. Kildare
Period5/09/187/09/18
Internet address

Fingerprint

Dive into the research topics of 'Analysing AWN-Specifications Using mCRL2 (Extended Abstract)'. Together they form a unique fingerprint.

Cite this