Property Analysis in Go

Go code examples for Property Analysis. Complete integration guide with sample code.