On combining state space reductions with global fairness assumptions

• Main Authors: ZHANG, Shao Jie, SUN, Jun, PANG, Jun, LIU, Yang, DONG, Jin Song
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2011
• 主題: Model Check; Symmetry Reduction; Liveness Property; Strongly Connect Component; Model Check Algorithm; Programming Languages and Compilers; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/5027; https://ink.library.smu.edu.sg/context/sis_research/article/6030/viewcontent/On_Combining_State_Space_Reductions_with_Global_Fairness_Assumptions.pdf

Model checking has established itself as an effective system analysis method, as it is capable of proving/dis-proving properties automatically. Its application to practical systems is however limited by state space explosion. Among effective state reduction techniques are symmetry reduction and part...