MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Probabilistic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Towards automated proof support for probabilistic distributed systems
by Ak Mciver, T Weber — 2005 — In Proceedings of Logic for Programming and Automated Reasoning, volume 3835 of LNAI
… for probabilistic systems is particularly challenging due to the verification of real-valued properties…
Cited by 3 (2 self) – Add To MetaCart

Recursive Markov decision processes and recursive stochastic games
by Kousha Etessami, Mihalis Yannakakis — 2005 — In Proc. of 32nd Int. Coll. on Automata, Languages, and Programming (ICALP’05
…] as a natural model for verification of probabilistic procedural programs and related systems involving…
Cited by 18 (5 self) – Add To MetaCart

Probabilistic guarded commands mechanized in HOL. Available at http://www.cl.cam.ac.uk/∼jeh1004
by Joe Hurd, Annabelle Mciver, Carroll Morgan — 2003 — In Proceedings of QAPL 2004
…-exclusion algorithm [10]. Key words: pGCL, formal verification, probabilistic programs Preprint submitted to Elsevier…
Cited by 2 (1 self) – Add To MetaCart

The Algebraic Mu-Calculus and MTBDDs
by Christel Baier, Edmund M. Clarke — 1998 — In Proceedings of the 5th Workshop on Logic, Language, Information and Computation, (WoLLIC’98
… linear equation systems or computing eigenvalues and for the verification of probabilistic programs…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB