Steady state property verification of very large systems
暂无分享,去创建一个
[1] Jean-Marc Vincent,et al. Perfect simulation of monotone systems for rare event probability estimation , 2005, Proceedings of the Winter Simulation Conference, 2005..
[2] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[3] Nihal Pekergin,et al. Statistical Model Checking for Steady State Dependability Verification , 2009, 2009 Second International Conference on Dependability.
[4] Håkan L. S. Younes. Ymer: A Statistical Model Checker , 2005, CAV.
[5] Jean-Marc Vincent,et al. Steady-state dependability verification by perfect sampling : Comparison study ∗ , 2010 .
[6] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[7] Jean-Marc Vincent,et al. Perfect Simulation of Stochastic Automata Networks , 2008, ASMTA.
[8] Elizabeth L. Wilmer,et al. Markov Chains and Mixing Times , 2008 .
[9] Håkan L. S. Younes. Error Control for Probabilistic Model Checking , 2006, VMCAI.
[10] Christel Baier,et al. Principles of model checking , 2008 .
[11] Håkan L. S. Younes,et al. Numerical vs. statistical probabilistic model checking , 2006, International Journal on Software Tools for Technology Transfer.
[12] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[13] J. Propp,et al. Exact sampling with coupled Markov chains and applications to statistical mechanics , 1996 .
[14] Håkan L. S. Younes,et al. Statistical probabilistic model checking with a focus on time-bounded properties , 2006, Inf. Comput..
[15] Jean-Marc Vincent,et al. Steady-state property verification: a comparison study , 2010 .
[16] Jean-Marc Vincent,et al. On the exact simulation of functionals of stationary Markov chains , 2004 .
[17] Mahesh Viswanathan,et al. VESTA: A statistical model-checker and analyzer for probabilistic systems , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[18] Jean-Marc Vincent,et al. Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
[19] Nihal Pekergin,et al. Statistical Model Checking Using Perfect Simulation , 2009, ATVA.
[20] Joost-Pieter Katoen,et al. The Ins and Outs of the Probabilistic Model Checker MRMC , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[21] Ana Busic,et al. Perfect simulation and non-monotone Markovian systems , 2008, VALUETOOLS.
[22] Thomas Hérault,et al. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).