PRTS: An approach for model checking probabilistic real-time hierarchical systems

• المؤلفون الرئيسيون: SUN, Jun, LIU, Yang, SONG, Songzheng, DONG, Jin Song, LI, Xiaohong
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2011
• الموضوعات: Model Check; Mutual Exclusion; Linear Temporal Logic; Process Construct; Symbolic Model Check; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5029; https://ink.library.smu.edu.sg/context/sis_research/article/6032/viewcontent/prts.pdf
• المؤسسة: Singapore Management University

Model Checking real-life systems is always difficult since such systems usually have quantitative timing factors and work in unreliable environment. The combination of real-time and probability in hierarchical systems presents a unique challenge to system modeling and analysis. In this work, we deve...