| Original language | English |
|---|---|
| Pages (from-to) | 34-45 |
| Number of pages | 12 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 314 |
| DOIs | |
| 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 → … |
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