Artwork

コンテンツは Charles M Wood によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Charles M Wood またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal
Player FM -ポッドキャストアプリ
Player FMアプリでオフラインにしPlayer FMう!

Checking safety in Exactly-once, TLA+ and Stronger message processing - .NET 159

53:26
 
シェア
 

Manage episode 379008387 series 2539490
コンテンツは Charles M Wood によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Charles M Wood またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal
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.
  continue reading

238 つのエピソード

Artwork
iconシェア
 
Manage episode 379008387 series 2539490
コンテンツは Charles M Wood によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Charles M Wood またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal
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.
  continue reading

238 つのエピソード

همه قسمت ها

×
 
Loading …

プレーヤーFMへようこそ!

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。 これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。 全ての端末で購読を同期するためにサインアップしてください。

 

クイックリファレンスガイド