Streamlet in TLA+

January 4, 2022

In this blog post, we will see how to specify the Streamlet algorithm in PlusCal/TLA+ with a focus on writing simple specifications that are amenable to mode...