Dara is a model checker for Distributed Systems written in Go which combines the speed of a traditional model checker with the realism of an implementation level model checker to find Heisenbugs.

More info at