Verification of Liveness Properties in Distributed Systems


Yadav, Divakar and Butler, Michael (2009) Verification of Liveness Properties in Distributed Systems At Second International Conference, IC3 2009, India. 17 - 19 Aug 2009.

Download

[img] PDF Liveness.pdf - Other
Download (166kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: August 17-19, 2009
Venue - Dates: Second International Conference, IC3 2009, India, 2009-08-17 - 2009-08-19
Organisations: Electronic & Software Systems
ePrint ID: 267827
Date :
Date Event
16 August 2009Published
Date Deposited: 02 Sep 2009 16:47
Last Modified: 17 Apr 2017 18:41
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267827

Actions (login required)

View Item View Item