Specifying and verifying event-based fairness enhanced systems

• المؤلفون الرئيسيون: SUN, Jun, LIU, Yang, DONG, Jin Song, WANG, Hai H.
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2008
• الموضوعات: Model Check; Operational Semantic; Linear Temporal Logic; Parallel Composition; Strongly Connect Component; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5048; https://ink.library.smu.edu.sg/context/sis_research/article/6051/viewcontent/Specifying_and_Verifying_Event_Based_Fairness_Enhanced_Systems.pdf

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