PRISM 4.0: Verification of Probabilistic Real-Time Systems
暂无分享,去创建一个
[1] Marie Duflot,et al. A formal analysis of bluetooth device discovery , 2006, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
[2] Holger Hermanns,et al. A Modest Approach to Checking Probabilistic Timed Automata , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[3] R. Segala,et al. Automatic Verification of Real-Time Systems with Discrete Probability Distributions , 1999, ARTS.
[4] Jasper Berendsen,et al. Fortuna: Model Checking Priced Probabilistic Timed Automata , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
[5] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[6] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[7] Marta Z. Kwiatkowska,et al. Performance analysis of probabilistic timed automata using digital clocks , 2003, Formal Methods Syst. Des..
[8] Marta Z. Kwiatkowska,et al. Stochastic Games for Verification of Probabilistic Timed Automata , 2009, FORMATS.
[9] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[10] Jirí Srba,et al. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.
[11] Marta Z. Kwiatkowska,et al. Abstraction Refinement for Probabilistic Software , 2008, VMCAI.
[12] 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.
[13] Marta Z. Kwiatkowska,et al. A game-based abstraction-refinement framework for Markov decision processes , 2010, Formal Methods Syst. Des..
[14] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[15] Marta Z. Kwiatkowska,et al. Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..
[16] Henrik Ejersbo Jensen. Model Checking Probabilistic Real Time Systems , 1996 .