TLA+ & PlusCal

"This project took me about 7 months in total. The first 5 months I was trying to figure it out mostly on my own, just looking at the Raft paper. The biggest breakthrough came from discovering the [...] #tlaplus spec for Raft." notes.eatonphil.com/2023-05-25-raf…

"Verifying Hyperproperties with TLA" by Lamport & Schneider #tlaplus #Security youtu.be/K4PcSNOs9ok

We are proud to support the launch of the TLA+ Foundation, under the umbrella of the @linuxfoundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Learn more: msft.it/6012g3ybM

We are excited to announce the launch of the TLA+ Foundation, under the umbrella of the Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Learn more: hubs.la/Q01MjLDM0

"Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by @vanlightly and myself. youtube.com/watch?v=cYenTP…

Another weekend, another weekend read, this time all about sleeping soundly with the help of @tlaplus @Calvin_L discusses the use of TLA+ by the Oracle Cloud Infrastructure Verification Team. getrevue.co/profile/dtorno…

"Formal Methods at Microsoft" by @BjornerNikolaj (Keynote at #tlaplus conf 2022) youtu.be/GEsvGGp0jyQ /cc @strangeloop_stl

@lemmster @MSFTResearch @Azure Yes, it does! The specification has proved invaluable when it comes to finding bugs in our consensus algorithm and prototyping new variants. The #tlaplus specification, like the whole codebase behind CCF is open source and available on GitHub:github.com/microsoft/CCF

Save the date: The #tlaplus Community Event 2023 will be organized as a satellite event of ETAPS. etaps.org

[new blog post] TLA+ Conference and StrangeLoop 2022 muratbuffalo.blogspot.com/2022/09/tla-co… #tlaplus

TLA+ Conference keynote is happening

Excited to present a keynote on formal methods at Microsoft at the TLA+conferenve, tomorrow, Thursday. Come to learn about a many of the FM tools used at Microsoft and beyond. #tlaplus

Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus blogs.oracle.com/cloud-infrastr…

We are stoked to have Nikolaj Bjørner deliver the keynote at #tlaplus conf 2022 (co-located with @@strangeloop_stl). With #z3 underpinning many formal methods, @BjornerNikolaj knows the ins and outs of cloud reliability at #Microsoft. conf.tlapl.us/2022/

Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA+ workshops at aka.ms/tlaclass

I look forward to Strange Loop (Sept 22-24) @hillelogram teaches a full-day workshop on TLA+ on Sept 21 (if you've been procrastinating on learning TLA+, problem solved!) We then have an awesome TLA+ conference on Sept 22 conf.tlapl.us/2022/ #tlaplus

Warmup #tlaplus Conf 2022 : conf.tlapl.us/2022/ youtu.be/CVWiykx1NoA?li…

We have a location! Thanks to @thoughtworks Bengaluru meetup.com/distributed-sy… @lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe