@article{(Open Science Index):https://publications.waset.org/pdf/1920, title = {PZ: A Z-based Formalism for Modeling Probabilistic Behavior}, author = {Hassan Haghighi}, country = {}, institution = {}, abstract = {Probabilistic techniques in computer programs are becoming more and more widely used. Therefore, there is a big interest in the formal specification, verification, and development of probabilistic programs. In our work-in-progress project, we are attempting to make a constructive framework for developing probabilistic programs formally. The main contribution of this paper is to introduce an intermediate artifact of our work, a Z-based formalism called PZ, by which one can build set theoretical models of probabilistic programs. We propose to use a constructive set theory, called CZ set theory, to interpret the specifications written in PZ. Since CZ has an interpretation in Martin-L¨of-s theory of types, this idea enables us to derive probabilistic programs from correctness proofs of their PZ specifications.}, journal = {International Journal of Computer and Information Engineering}, volume = {4}, number = {1}, year = {2010}, pages = {29 - 37}, ee = {https://publications.waset.org/pdf/1920}, url = {https://publications.waset.org/vol/37}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 37, 2010}, }