"Bounded verification of message-passing concurrency in Go using Promela ..."

Nicolas Dilley, Julien Lange (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics