PAT: Towards Flexible Verification under Fairness

  title={PAT: Towards Flexible Verification under Fairness},
  author={Jun Sun and Yang Liu and Jin Song Dong and Jun Pang},
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… CONTINUE READING
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 319 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 200 extracted citations

Formalization and Verification of REST Architecture in Viewpoints

2015 IEEE 16th International Symposium on High Assurance Systems Engineering • 2015
View 16 Excerpts
Highly Influenced

A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker

2017 International Conference on Software Analysis, Testing and Evolution (SATE) • 2017
View 9 Excerpts
Highly Influenced

A new probable decision making approach for verification of probabilistic real-time systems

2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) • 2015
View 11 Excerpts
Highly Influenced

TiMo: Timed Mobility in Distributed Systems

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing • 2013
View 8 Excerpts
Highly Influenced

Automatic Service Composition via Model Checking

2011 IEEE Asia-Pacific Services Computing Conference • 2011
View 9 Excerpts
Highly Influenced

An Automatic Approach to Verify Sensor Network Systems

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion • 2010
View 4 Excerpts
Highly Influenced

320 Citations

Citations per Year
Semantic Scholar estimates that this publication has 320 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 10 references

Distributed Systems of Simple Interacting Agents

H. Jiang
PhD thesis, Yale Univ., • 2007
View 5 Excerpts
Highly Influenced

Towards a Toolkit for Flexible and Efficient Verification under Fairness

J. Sun, Y. Liu, J. S. Dong, J. Pang
Technical Report TRB2/09, National Univ. of Singapore, • 2008
View 2 Excerpts

Model Checking with Strong Fairness

Formal Methods in System Design • 2006
View 2 Excerpts

Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering • 1977
View 3 Excerpts

Similar Papers

Loading similar papers…