Model Checking Based on SimultaneousReachability Analysis ?


Simultaneous reachability analysis (SRA) is a recently proposed approach to alleviating the state space explosion problem in reach-ability analysis of concurrent systems. The concept of SRA is to allow a global transition in a reachability graph to contain a set of transitions of diierent processes such that the state reached by the global transition is… (More)


  • Presentations referencing similar topics