How model checking can help build trust in the design of distributed protocols

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.