Imaginea Labs
  • Home
  • Reference
  • Imaginea
  • Groot
  • About

tla+

A collection of 1 post

tla+

Introduction to TLA+ and writing first formula

TLA+ is a tool to design system and algorithms, then programmatically verify that those systems do not have critical bugs. Engineers at Amazon use TLA+ to prevent serious but subtle bugs from reaching production. They have used TLA+ on 10 large complex real-world systems.

  • Vishwas Anand Bhushan
    Vishwas Anand Bhushan
6 min read
Imaginea Labs © 2021
Latest Posts Twitter Ghost