TLA+ & PlusCal

[TLA+ & PlusCal @tlaplus]

#tlaplus

[@[email protected] @lemmster]

https://t.co/dLwGd74WPz

[@[email protected] @lemmster]

"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."

https://t.co/8K0EcywAhX

[@[email protected] @lemmster]

"Verifying Hyperproperties with TLA" by Lamport & Schneider

#tlaplus #Security

https://t.co/APkufk6xl2

[Microsoft Research @MSFTResearch]

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: https://t.co/K1y3ySgeXH

[The Linux Foundation @linuxfoundation]

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: https://t.co/9ihzFjBrGm

[@[email protected] @lemmster]

#tlaplus

[@[email protected] @lemmster]

"Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by @vanlightly and myself.

https://t.co/Fb03Snzofv

[Dominik Tornow @DominikTornow]

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.

https://t.co/tRB6yDTXag

[@[email protected] @lemmster]

"Formal Methods at Microsoft" by @BjornerNikolaj (Keynote at #tlaplus conf 2022)

https://t.co/581ZiXJVpt

/cc @strangeloop_stl

[Heidi Howard @heidiann360]

@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:https://t.co/plISYhI75C

[@[email protected] @lemmster]

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

https://t.co/emZ4FNtquW

[Murat Demirbas (Distributolog) @muratdemirbas]

[new blog post] TLA+ Conference and StrangeLoop 2022

https://t.co/ELJqwyukHo

#tlaplus

[Murat Demirbas (Distributolog) @muratdemirbas]

TLA+ Conference keynote is happening

[Nikolaj Bjorner @BjornerNikolaj]

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

[@[email protected] @lemmster]

Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus

https://t.co/4QzXpm0gpQ

[@[email protected] @lemmster]

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.

https://t.co/bsyS7Q0Jfc

[@[email protected] @lemmster]

Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA+ workshops at https://t.co/yuCPv0ElfK

[Murat Demirbas (Distributolog) @muratdemirbas]

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
https://t.co/6QRQDWte30

#tlaplus

[@[email protected] @lemmster]

Warmup #tlaplus Conf 2022 : https://t.co/bsyS7QikDM

https://t.co/2PPzMVT5ES

[Distributed Systems @dist_sys]

We have a location! Thanks to @thoughtworks Bengaluru

https://t.co/Ic0TZHTAEf

@lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe