To Store or Not to Store
暂无分享,去创建一个
[1] Kim G. Larsen,et al. Verification of Large State/Event Systems Using Compositionality and Dependency Analysis , 1998, Formal Methods Syst. Des..
[2] Pierre Wolper,et al. A partial approach to model checking , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[3] Wang Yi,et al. Efficient verification of real-time systems: compact data structure and state-space reduction , 1997, Proceedings Real-Time Systems Symposium.
[4] Antti Valmari,et al. A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..
[5] Gerard J. Holzmann,et al. State-space caching revisited , 1995, Formal Methods Syst. Des..
[6] Wang Yi,et al. Efficient Timed Reachability Analysis using Clock Difference Diagrams , 1998 .
[7] Kim G. LarsenBRICS. Compositional Model Checking of Real Time Systems ? , 1995 .
[8] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[9] Doron A. Peled,et al. Static Partial Order Reduction , 1998, TACAS.
[10] Wang Yi,et al. Partial Order Reductions for Timed Systems , 1998, CONCUR.
[11] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[12] Kim G. Larsen,et al. Static Guard Analysis in Timed Automata Verification , 2003, TACAS.