@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},
	}