PAT: Towards flexible verification under fairness

• المؤلفون الرئيسيون: SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2009
• الموضوعات: Model Check; Linear Temporal Logic; Label Transition System; Model Check Algorithm; Population Protocol; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5038; https://ink.library.smu.edu.sg/context/sis_research/article/6041/viewcontent/PAT.pdf

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