Gobra: Modular Specification and Verification of Go Programs (extended version)

Felix A. Wolf, Linard Arquint, Martin Clochard +3

Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by of…