Verifying Probabilistic Programs Using a Hoare Like Logic
Verifying Probabilistic Programs Using a Hoare Like Logic is a scholarly work, published in 2002 in ''International Journal of Foundations of Computer Science''. The main subjects of the publication include program analysis, programming language, probabilistic logic, probabilistic CTL, computer science, operational semantics, Hoare logic, axiomatic semantics, programming language semantics, theoretical computer science, predicate transformer semantics, logic programming, sublanguage, formal methods, formalism, Probabilistic argumentation, and denotational semantics. Probability, be it inherent or explicitly introduced, has become an important issue in the verification of programs.