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