Checking safety in Exactly-once, TLA+ and Stronger message processing - .NET 159
- Author
- Charles M Wood
- Published
- Tue 03 Oct 2023
- Episode Link
- https://topenddevs.com/podcasts/adventures-in-net/episodes/checking-safety-in-exactly-once-tla-and-stronger-message-processing-net-159
Tomek Masternak is an Engineer at Particular Software. He joins the show to talk about his video, "Checking safety in Exactly-once ". He begins by explaining what TLA+ is, the advantages and benefits of using this, the problems it solves, and many more. Additionally, he dives into "Ensuring exactly-once message processing with model checking" and talks about Stronger message processing.
Sponsors
Links
Picks
Support this podcast at — https://redcircle.com/adventures-in-net/donations
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.
Sponsors
- Chuck's Resume Template
- Raygun - Application Monitoring For Web & Mobile Apps
- Become a Top 1% Dev with a Top End Devs Membership
Links
- Checking safety in Exactly-once - Tomek Masternak, Szymon Pobiega - YouTube
- The TLA+ Home Page
- Learn TLA+
Picks
- Adam - Virtual Box
- Mark - The Recruit
- Tomek - Asianometry
- Shawn - Ahsoka
Support this podcast at — https://redcircle.com/adventures-in-net/donations
Advertising Inquiries: https://redcircle.com/brands
Privacy & Opt-Out: https://redcircle.com/privacy
Become a supporter of this podcast: https://www.spreaker.com/podcast/adventures-in-net--6102015/support.
