If you are an IntelliJ IDE user, you can use the following plugin to get started with TLA+ tools: https://plugins.jetbrains.com/plugin/17965-tla-