TLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a user to describe a system formally with simple, precise mathematics. TLA+ was designed by Leslie Lamport, a computer scientist and Turing Award winner. Leslie joins the show to talk about the purpose of TLA+. Since its
The post TLA+ with Leslie Lamport appeared first on Software Engineering Daily.
📆 2018-11-08 11:00 / ⌛ 01:01:30
📆 2018-11-07 11:00 / ⌛ 00:51:07
📆 2018-11-06 11:00 / ⌛ 01:03:46
📆 2018-11-05 11:00 / ⌛ 01:03:37
📆 2018-11-02 12:00 / ⌛ 00:57:47