On Combining the Stubborn Set Method with the Sleep Set Method
暂无分享,去创建一个
[1] Pierre Wolper,et al. Partial-Order Methods for Temporal Verification , 1993, CONCUR.
[2] Pierre Wolper,et al. Using partial orders for the efficient verification of deadlock freedom and safety properties , 1991, Formal Methods Syst. Des..
[3] F. R. A. Hopgood,et al. Machine Intelligence 6 , 1972, The Mathematical Gazette.
[4] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[5] Gerard J. Holzmann,et al. State-space caching revisited , 1992, Formal Methods Syst. Des..
[6] Wolfgang Reisig,et al. Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.
[7] Stephen D. Crocker,et al. Verification of Concurrent Systems: Function and Timing , 1982, PSTV.
[8] Kimmo Varpaaniemi. Efficient Detection of Deadlocks in Petri Nets , 1993 .
[9] Patrice Godefroid,et al. Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) , 1993, CAV.
[10] Antti Valmari,et al. Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.
[11] Grzegorz Rozenberg. Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.
[12] Doron A. Peled,et al. Defining Conditional Independence Using Collapses , 1992, Theor. Comput. Sci..
[13] Zohar Manna,et al. Formalization of properties of parallel programs , 1970 .
[14] Antti Valmari,et al. On-the-Fly Verification with Stubborn Sets , 1993, CAV.
[15] Antoni W. Mazurkiewicz,et al. Trace Theory , 1986, Advances in Petri Nets.
[16] Doron A. Peled,et al. All from One, One for All: on Model Checking Using Representatives , 1993, CAV.
[17] Eike Best,et al. Semantic Independence , 1989, Sci. Comput. Program..
[18] Marko Rauhamaa,et al. Digital Systems Laboratory Series A: Research Reports a Comparative Study of Methods for Efficient Reachability Analysis a Comparative Study of Methods for Eecient Reachability Analysis , 2007 .
[19] Patrice Godefroid,et al. An Efficient Reactive Planner for Synthesizing Reactive Plans , 1991, AAAI.
[20] Antti Valmari,et al. A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..
[21] Patrice Godefroid,et al. Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.
[22] Patrice Godefroid. Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.