TY  - RPRT
TI  - Bounded verification of message-passing concurrency in Go using Promela and Spin
AU  - Nicolas Dilley
AU  - Julien Lange
PY  - 2020
DO  - 10.4204/eptcs.314.4
UR  - https://arxiv.org/abs/2004.01323
ID  - 2004.01323
ER  -