@tlaplus
lamport.azurewebsites.net/tla/tla.html
Joined March 2009
  • Tweets288
  • Following0
  • Followers786
30Media
#tlaplus
@[email protected]@lemmster14 Jun 2023
youtube.com/watch?v=H6PjGdd6…
2
957
"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-…
1
7
50
8,349
"Verifying Hyperproperties with TLA" by Lamport & Schneider #tlaplus #Security youtu.be/K4PcSNOs9ok

Verifying Hyperproperties with TLA

CSF 2021 Session 12: Network Security and Policy Verification"Veri...

youtube.com
2
9
1,075
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

Linux Foundation Announces Launch of TLA+ Foundation

TLA+ Foundation Established to Drive Adoption of Proven Formal Methods for Robust Software.

linuxfoundation.org
The Linux Foundation
@linuxfoundation21 Apr 2023
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
6
2
41
18,857
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
45
5
110
50,451
#tlaplus
Formal Methods Europe@FormalMtds7 Dec 2022
Our Teaching Committee's next tutorial is happening this Friday! Title: "Stories from the trenches: Teaching the TLA+ specification language in Industry" Date/Time: 9th of Dec 2022/3pm CET Speaker: Markus Kuppe (RiSE group at Microsoft Research, US) fme-teaching.github.io/2021/…

Tutorial Series of the FME Teaching Committee | Formal Methods Teaching Committee

In the FME Teaching Committee, we coordinate a tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The...

fme-teaching.github.io
5
4
"Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by @vanlightly and myself. youtube.com/watch?v=cYenTPD7…
12
1
27
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/dtornow/…
3
11
"Formal Methods at Microsoft" by @BjornerNikolaj (Keynote at #tlaplus conf 2022) youtu.be/GEsvGGp0jyQ /cc @strangeloop_stl
2
16
1
68
TLA+ & PlusCal retweeted
Heidi Howard@heidiann36012 Oct 2022
Replying to @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

GitHub - microsoft/CCF: Confidential Consortium Framework

Confidential Consortium Framework. Contribute to microsoft/CCF development by creating an account on GitHub.

github.com
1
4
7
Save the date: The #tlaplus Community Event 2023 will be organized as a satellite event of ETAPS. etaps.org
3
1
7
[new blog post] TLA+ Conference and StrangeLoop 2022 muratbuffalo.blogspot.com/20… #tlaplus
2
6
20
TLA+ Conference keynote is happening
1
1
19
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
1
5
1
79
Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus blogs.oracle.com/cloud-infra…
1
14
35
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/
1
7
23
Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA+ workshops at aka.ms/tlaclass
5
22
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
1
4
1
30
Warmup #tlaplus Conf 2022 : conf.tlapl.us/2022/ youtu.be/CVWiykx1NoA?list=PL…
1
1
We have a location! Thanks to @thoughtworks Bengaluru meetup.com/distributed-syste… @lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe
5
8
Load more