Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. Model Checking Concurrent Programs with Nondeterminism and Randomization. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 364-375, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
Abstract is missing.