An Empirical Study of Messaging Passing Concurrency in Go Projects. - Nicolas Dilley; Julien Lange (SANER, 2019)

Bounded verification of message-passing concurrency in Go using Promela and Spin. - Nicolas Dilley; Julien Lange (PLACES@ETAPS, 2020)

Automated Verification of Go Programs via Bounded Model Checking. - Nicolas Dilley; Julien Lange (ASE, 2021)

Automated verification of concurrent go programs via bounded model checking. - Nicolas Dilley; Julien Lange (Autom. Softw. Eng., 2023)