Skip to content

Instantly share code, notes, and snippets.

@pfeodrippe

pfeodrippe/tla_plus_recursos.adoc

Last active June 23, 2020 16:05
Show Gist options
  • Save pfeodrippe/40198cf55223e917ca231c41e300987a to your computer and use it in GitHub Desktop.
Save pfeodrippe/40198cf55223e917ca231c41e300987a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
tla_plus_recursos.adoc

Recursos TLA+

Alguns recursos de TLA+ (em inglês, infelizmente, mas entre no nosso grupo do Telegram em #ALGUM_LINK para tirar dúvidas).

Livros

  • Practical TLA+ (link para comprar o livro) (Hillel Wayne - 2018. Bom para se iniciar nesse mundo)

  • Specifying Systems (open source) (Lamport - atualizado em 2020, aparentemente. Mais avançado, recomendo ler o do Hillel primeiro)

Artigos

Código

Se quiser acrescentar algo, só comentar o/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment