State Programs - Rice University Computer Science Department

33 downloads 27775 Views 924KB Size Report
Center for Study of Language and Information. Stanford University,. ABS TRA C T. The verification problem for probabilistic concurrent finite-stale program is to decide whether .... problem reduces to what we call the probabilistic emptiness ...