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 language | English |
---|---|
Title of host publication | Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings |
Editors | Carlo A. Furia, Kirsten Winter |
Place of Publication | Cham |
Publisher | Springer |
Pages | 398-418 |
Number of pages | 21 |
ISBN (Electronic) | 978-3-319-98938-9 |
ISBN (Print) | 978-3-319-98937-2 |
DOIs | |
Publication status | Published - 9 Aug 2018 |
Event | 14th International Conference on integrated Formal Methods - Co. Kildare, Ireland Duration: 5 Sept 2018 → 7 Sept 2018 https://ifm2018.cs.nuim.ie/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Cham |
Volume | 11023 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 14th International Conference on integrated Formal Methods |
---|---|
Abbreviated title | IFM 2018 |
Country/Territory | Ireland |
City | Co. Kildare |
Period | 5/09/18 → 7/09/18 |
Internet address |