Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.

Hctor Ruz Barradas, Didier Bert

Browse the full IFM paper archive.