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

Nicolas Dilley, Julien Lange

Research output: Contribution to journalConference articlepeer-review

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 → …

Cite this