Model checking randomized algorithms with Java PathFinder

Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010

Volumn , Issue , 2010, Pages 157-158

  Zhang, Xin ^a   Van Breugel, Franck ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BREADTH-FIRST SEARCH; DEPTH FIRST SEARCH; JAVA PATHFINDER; MODEL CHECKER; PROBABILISTIC CHOICES; PROBABILISTIC MODELS; PROBABILISTIC SYSTEMS; RANDOMIZED ALGORITHMS; SEARCH STRATEGIES; STATE EXPLOSION PROBLEMS; STATE SPACE; UNCAUGHT EXCEPTIONS;

PROBABILITY;

MODEL CHECKING;

EID: 78649485288     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2010.28     Document Type: Conference Paper

References (6)

1. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, "Model checking programs," Automated Software Engineering, vol. 10, no. 2, pp. 203-232, Apr. 2003.
2. C. Baier and J.-P. Katoen, Principles of Model Checking. Cambridge, MA, USA: The MIT Press, 2008.
3. J.-P. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns, and D. N. Jansen, "The ins and outs of the probabilistic model checker MRMC," in Proceedings of the 6th International Conference on Quantitative Evaluation of Systems. Budapest, Hungary: IEEE, Sep. 2009, pp. 167-176.
4. R. Motwani and P. Raghavan, Randomized Algorithms. Cambridge, UK: Cambridge University Press, 1995.
5. D. E. Knuth and A. C. Yao, "The complexity of nonuniform random number generation," in Proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity, J. Traub, Ed. Pittsburgh, PA, USA: Academic Press, Apr. 1976, pp. 375-428.
6. X. Zhang, "Measuring progress of model checking randomized code," Master's thesis, York University, Toronto, Jul. 2010. 2http://www.cse.yorku.ca/~franck/research/tools/