TLA+ with Leslie Lamport
Software Engineering Daily
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.
Next Episodes
Computer Vision with Peter Kontschieder @ Software Engineering Daily
📆 2018-11-08 11:00 / ⌛ 01:01:30
Computer Architecture with Dave Patterson @ Software Engineering Daily
📆 2018-11-07 11:00 / ⌛ 00:51:07
OSS Capital with Joseph Jacks @ Software Engineering Daily
📆 2018-11-06 11:00 / ⌛ 01:03:46
Commons Clause with Kevin Wang @ Software Engineering Daily
📆 2018-11-05 11:00 / ⌛ 01:03:37
Scaling Lyft with Matt Klein @ Software Engineering Daily
📆 2018-11-02 12:00 / ⌛ 00:57:47