Bounded verification of message-passing concurrency in Go using Promela and Spin. / Dilley, Nicolas; Lange, Julien.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 314, 03.04.2020, p. 34-45.

Research output: Contribution to journalConference articlepeer-review

Published
Original languageEnglish
Pages (from-to)34-45
Number of pages12
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume314
DOIs
Publication statusPublished - 3 Apr 2020
Event12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 - Dublin, Ireland
Duration: 26 Apr 2020 → …
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39128440