Analysing AWN-specifications using mCRL2 (extended abstract)
Authors
DATA61
UNSW Sydney
Australian National University
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 mCRL 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.
BibTeX Entry
@inproceedings{vanGlabbeek_HW_18, publisher = {Springer}, doi = {https://doi.org/10.1007/978-3-319-98938-9\_23}, month = sep, booktitle = {14th International Conference on integrated Formal Methods}, paperurl = {https://ts.data61.csiro.au/publications/csiro_full_text/vanGlabbeek_HW_18.pdf}, series = {Lecture Notes in Computer Science}, year = {2018}, editor = {{Carlo A. Furia, Kirsten Winter}}, keywords = {process algebra; model checking; {AWN}; {mCRL2}}, volume = {11023}, title = {Analysing {AWN}-specifications using {mCRL2} (extended abstract)}, pages = {398-418}, author = {van Glabbeek, Rob and Hoefner, Peter and van der Wal, Djurre}, date = {2018-9-5}, address = {Maynooth} }