Testing for Race Conditions in Distributed Systems via SMT Solving. - João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto (TAP@STAF, 2020)

Gobra: Modular Specification and Verification of Go Programs. - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CAV (1), 2021)

Gobra: Modular Specification and Verification of Go Programs (extended version). - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CoRR, 2021)