1 citations · 1 across the 1 of their papers we have counts for
1 paper
Hector Ruiz Barradas, Didier Bert
In this report, we present a formal model of fair iteration of events for B event systems. The model is used to justify proof obligations for basic liveness properties and preserva…