A model checker for hierarchical probabilistic real-time systems

• المؤلفون الرئيسيون: SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2012
• الموضوعات: Model Checker; Markov Decision Process; Stochastic Game; Time Automaton; Friendly User Interface; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/5015; https://ink.library.smu.edu.sg/context/sis_research/article/6018/viewcontent/A_Model_Checker_for_Hierarchical_Probabilistic_Real_Time_Systems.pdf

Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checker to analyze hierarchical probabilistic real-time systems. A modeling language called PRTS is used to specify such syste...