Comment by esafak

Not knowing much about this space, isn't this something you could do in TLA+ ?