Pawel Szulc – Formal verification applied (with TLA+) #1 Post by vivekseth » Mon, Aug 03, 2020, 3:26 PM UTC Pawel Szulc – Formal verification applied (with TLA+)youtube.com