Abstract
Problastic programs are important programs that are used in critical environment and modelling these programs gives the different outpue for the same input.In this paer i discussed about abstarction and Probabilistic Gaurded Command Language. Meaning of Inequality and Weakest Pre-Expectation Semantics are given.At the end Problastic Loop Invariants are shown.