1. 5
  1. 2

    I recently came across this https://github.com/alcestes/mpstk, and found the above this talk really interesting for a couple of reasons.

    1. It shows a way to utilize mpst’s as way to describe safety and deadlock free systems.
    2. It is one of the few tools I’ve seen in the wild that utilizes mCRL2, and mu calculus
    3. The way mpstk represents the MPSTs is one of the more generally readable ways of describing a communication model while retaining the ability to simulate, and model check.
    4. While math heavy (which is not my background) I found the presentation and white paper readable enough that even those without any background, could gain insight with some effort.