I've written about this before! https://www.hillelwayne.com/post/tla-golang/ https://www.hillelwayne.com/post/tla-golang/ That said, I think the Spin syntax is

I've written about this before! https://www.hillelwayne.com/post/tla-golang/ https://www.hillelwayne.com/post/tla-golang/ That said, I think the Spin syntax is slightly closer to native Go, making it easier to write specs. At least that's what people who know both Spin and Go tell me. https://github.com/dgryski/modelchecking/blob/master/spin/findall.pml https://github.com/dgryski/modelchecking/blob/master/spin/fi...