Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-540-88194-0-4
Title: Specifying and verifying event-based fairness enhanced systems
Authors: Sun, J. 
Liu, Y. 
Dong, J.S. 
Wang, H.H.
Issue Date: 2008
Source: Sun, J.,Liu, Y.,Dong, J.S.,Wang, H.H. (2008). Specifying and verifying event-based fairness enhanced systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5256 LNCS : 5-24. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-540-88194-0-4
Abstract: Liveness/Fairness plays an important role in software specification, verification and development. Existing event-based compositional models are safety-centric. In this paper, we describe a framework for systematically specifying and verifying event-based systems under fairness assumptions. We introduce different event annotations to associate fairness constraints with individual events. Fairness annotated events can be used to embed liveness/fairness assumptions in event-based models flexibly and naturally. We show that state-of-the-art verification algorithms can be extended to verify models under fairness assumptions, with little computational overhead. We further improve the algorithm by other model checking techniques like partial order reduction. A toolset named Pat has been developed to verify fairness enhanced event-based systems. Experiments show that Pat handles large systems with multiple fairness assumptions. © 2008 Springer Berlin Heidelberg.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/40041
ISBN: 354088193X
ISSN: 03029743
DOI: 10.1007/978-3-540-88194-0-4
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

7
checked on Dec 11, 2017

Page view(s)

43
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.