Extending Symmetry Reduction Techniques to a Realistic Model of Computation
暂无分享,去创建一个
[1] Steve Linton. Finding the smallest image of a set , 2004, ISSAC '04.
[2] Alastair F. Donaldson,et al. Exact and Approximate Strategies for Symmetry Reduction in Model Checking , 2006, FM.
[3] Dragan Bosnacki,et al. Symmetric Spin , 2000, SPIN.
[4] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[5] A. Prasad Sistla,et al. Symmetry Reductions in Model Checking , 1998, CAV.
[7] G. Rota. The Number of Partitions of a Set , 1964 .
[8] A. Prasad Sistla. Symmetry Reductions in Model-Checking , 2003, VMCAI.
[9] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .
[10] Gregory Butler,et al. Fundamental Algorithms for Permutation Groups , 1991, Lecture Notes in Computer Science.
[11] Stephan Merz,et al. Model Checking , 2000 .
[12] Paul Gastin,et al. Model checking systems of replicated processes with spin , 2001, SPIN '01.
[13] David L. Dill,et al. Better verification through symmetry , 1996, Formal Methods Syst. Des..
[14] Alastair F. Donaldson,et al. A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker , 2006, AMAST.
[15] Á. Seress. Permutation Group Algorithms , 2003 .
[16] Thomas Wahl,et al. Dynamic Symmetry Reduction , 2005, TACAS.
[17] Muffy Calder,et al. Generalising Feature Interactions in Email , 2003, FIW.