github.com/informalsystems/modelator/go (go): Model-based testing tool
Keywords: model-based-testing|model-checking|rust|tla|tlaplus