Vgo – verifiable go

Interesting, but it looks like it doesn't detect threading errors (concurrent access)?

They should name something in their toolchain 'Mortensen'.