Bounded verification of message-passing concurrency in Go using Promela and Spin

Nicolas Dilley; Julien Lange

doi:10.4204/EPTCS.314.4

Bounded verification of message-passing concurrency in Go using Promela and Spin

Nicolas Dilley
, Julien Lange

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	34-45
Number of pages	12
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	314
DOIs	https://doi.org/10.4204/EPTCS.314.4
Publication status	Published - 3 Apr 2020
Event	12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 - Dublin, Ireland Duration: 26 Apr 2020 → …

Access to Document

10.4204/EPTCS.314.4

Cite this

@article{246cd08585d544c9bab78de8add6bee4,

title = "Bounded verification of message-passing concurrency in Go using Promela and Spin",

author = "Nicolas Dilley and Julien Lange",

year = "2020",

month = apr,

day = "3",

doi = "10.4204/EPTCS.314.4",

language = "English",

volume = "314",

pages = "34--45",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 ; Conference date: 26-04-2020",

}

TY - JOUR

T1 - Bounded verification of message-passing concurrency in Go using Promela and Spin

AU - Dilley, Nicolas

AU - Lange, Julien

PY - 2020/4/3

Y1 - 2020/4/3

UR - https://www.scopus.com/pages/publications/85083337393

U2 - 10.4204/EPTCS.314.4

DO - 10.4204/EPTCS.314.4

M3 - Conference article

AN - SCOPUS:85083337393

SN - 2075-2180

VL - 314

SP - 34

EP - 45

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020

Y2 - 26 April 2020

ER -

Bounded verification of message-passing concurrency in Go using Promela and Spin

Access to Document

Other files and links

Cite this