PAT: Towards flexible verification under fairness

• Main Authors: SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2009
• Subjects: Model Check; Linear Temporal Logic; Label Transition System; Model Check Algorithm; Population Protocol; Programming Languages and Compilers; Software Engineering
• 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
• Institution: Singapore Management University

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...