Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
暂无分享,去创建一个
[1] A. Prasad Sistla,et al. Symmetry Reductions in Model Checking , 1998, CAV.
[2] Amos Israeli,et al. Analyzing Expected Time by Scheduler-Luck Games , 1995, IEEE Trans. Software Eng..
[3] Alastair F. Donaldson,et al. Symmetry reduction for probabilistic systems , 2005 .
[4] Nancy A. Lynch,et al. Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..
[5] David L. Dill,et al. Better verification through symmetry , 1996, Formal Methods Syst. Des..
[6] Thomas Wahl,et al. Dynamic Symmetry Reduction , 2005, TACAS.
[7] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[8] Laurie J. Hendren,et al. SableCC, an object-oriented compiler framework , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).
[9] A. Prasad Sistla. Symmetry Reductions in Model-Checking , 2003, VMCAI.
[10] A. Prasad Sistla,et al. Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach , 1997, TOPL.
[11] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[12] Muffy Calder,et al. Symmetry in temporal logic model checking , 2006, CSUR.
[13] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[14] Dragan Bosnacki,et al. Symmetric Spin , 2002, International Journal on Software Tools for Technology Transfer.
[15] Marta Z. Kwiatkowska,et al. Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.
[16] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[17] Thomas Wahl,et al. On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking , 2003, CHARME.
[18] Christel Baier,et al. ProbMela and verification of Markov decision processes , 2005, PERV.
[19] Christel Baier,et al. Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.
[20] Thomas Wahl,et al. Efficient Reduction Techniques for Systems with Many Components , 2005, Electron. Notes Theor. Comput. Sci..
[21] Somesh Jha,et al. Exploiting symmetry in temporal logic model checking , 1993, Formal Methods Syst. Des..
[22] Alastair F. Donaldson,et al. Exact and Approximate Strategies for Symmetry Reduction in Model Checking , 2006, FM.
[23] E. Allen Emerson,et al. From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking , 1999, CHARME.
[24] Amir Pnueli,et al. Verification of multiprocess probabilistic protocols , 1984, PODC '84.
[25] Orna Grumberg,et al. Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking , 2005, Formal Methods Syst. Des..