arXiv 2005-02-09 EN Proof obligations for specification and refinement of liveness properties under weak fairness Barradas, Hector Ruiz · Bert, Didier
