Yadav, Divakar and Butler, Michael
Verification of Liveness Properties in Distributed Systems
At Second International Conference, IC3 2009, India.
17 - 19 Aug 2009.
This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement. In this paper we outline how enabledness preservation and non-divergence are related to the liveness properties of the B models of the distributed systems. We address the liveness issues related to our model of distributed transactions and outline the construction of proof obligations that need to be discharged to ensure liveness.
Conference or Workshop Item
||Event Dates: August 17-19, 2009
|Venue - Dates:
||Second International Conference, IC3 2009, India, 2009-08-17 - 2009-08-19
||Electronic & Software Systems
|16 August 2009||Published|
||02 Sep 2009 16:47
||17 Apr 2017 18:41
|Further Information:||Google Scholar|
Actions (login required)