1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…