github.com/hydroo/gomochex (go): discontinued - playground for some model checking experimentation
Keywords: experimentation|model-checking