One of the strenghts of the Go ecosystem is that the tool suite includes the abilities of a model checker like Spin