PAT: Towards flexible verification under fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing population protocols. Current practice of system analysis is, however, deficient under fairness. In this work, we presen...
Saved in:
Main Authors: | , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2009
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5038 https://ink.library.smu.edu.sg/context/sis_research/article/6041/viewcontent/PAT.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-6041 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-60412020-03-12T08:18:05Z PAT: Towards flexible verification under fairness SUN, Jun LIU, Yang DONG, Jin Song PANG, Jun Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing population protocols. Current practice of system analysis is, however, deficient under fairness. In this work, we present PAT, a toolkit for flexible and efficient system analysis under fairness. A unified algorithm is proposed to model check systems with a variety of fairness effectively in two different settings. Empirical evaluation shows that PAT complements existing model checkers in terms of fairness. We report that previously unknown bugs have been revealed using PAT against systems functioning under strong global fairness. 2009-02-07T08:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5038 info:doi/10.1007/978-3-642-02658-4_59 https://ink.library.smu.edu.sg/context/sis_research/article/6041/viewcontent/PAT.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Model Check Linear Temporal Logic Label Transition System Model Check Algorithm Population Protocol Programming Languages and Compilers Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Model Check Linear Temporal Logic Label Transition System Model Check Algorithm Population Protocol Programming Languages and Compilers Software Engineering |
spellingShingle |
Model Check Linear Temporal Logic Label Transition System Model Check Algorithm Population Protocol Programming Languages and Compilers Software Engineering SUN, Jun LIU, Yang DONG, Jin Song PANG, Jun PAT: Towards flexible verification under fairness |
description |
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing population protocols. Current practice of system analysis is, however, deficient under fairness. In this work, we present PAT, a toolkit for flexible and efficient system analysis under fairness. A unified algorithm is proposed to model check systems with a variety of fairness effectively in two different settings. Empirical evaluation shows that PAT complements existing model checkers in terms of fairness. We report that previously unknown bugs have been revealed using PAT against systems functioning under strong global fairness. |
format |
text |
author |
SUN, Jun LIU, Yang DONG, Jin Song PANG, Jun |
author_facet |
SUN, Jun LIU, Yang DONG, Jin Song PANG, Jun |
author_sort |
SUN, Jun |
title |
PAT: Towards flexible verification under fairness |
title_short |
PAT: Towards flexible verification under fairness |
title_full |
PAT: Towards flexible verification under fairness |
title_fullStr |
PAT: Towards flexible verification under fairness |
title_full_unstemmed |
PAT: Towards flexible verification under fairness |
title_sort |
pat: towards flexible verification under fairness |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2009 |
url |
https://ink.library.smu.edu.sg/sis_research/5038 https://ink.library.smu.edu.sg/context/sis_research/article/6041/viewcontent/PAT.pdf |
_version_ |
1770575196955082752 |