Probabilistic verification

DOI10.1006/INCO.1993.1012MaRDI QIDQ1803654zbMATH OpenOpenAlexFDO

Authors Amir Pnueli, Lenore D. Zuck

Publication date 29 June 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1012

zbMATH Keywords

correctnessconcurrent programstemporal logic specificationprobabilistic finite state program

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The complexity of probabilistic verification
• Verification of multiprocess probabilistic protocols
• Validation of Stochastic Systems
• Concurrent Probabilistic Programs, Or: How to Schedule If You Must
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

Cited in

(23)

• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Liveness Reasoning with Isabelle/HOL
• Probabilistic verification of Boolean functions
• Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
• Quantitative Kleene coalgebras
• Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
• On fairness and randomness
• A hierarchy of probabilistic system types
• A temporal logic for proving properties of topologically general executions
• Quantitative analysis under fairness constraints
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Concurrent Probabilistic Programs, Or: How to Schedule If You Must
• When are stochastic transition systems tameable?
• scientific article; zbMATH DE number 2086517 (Why is no real title available?)
• Probabilistic verification and approximation
• A theory of stochastic systems. I: Stochastic automata
• Probabilistic temporal logics via the modal mu-calculus
• On the verification of qualitative properties of probabilistic processes under fairness constraints.
• Validation of Stochastic Systems
• Constructive development of probabilistic programs
• scientific article; zbMATH DE number 3982496 (Why is no real title available?)

This page was built for publication: Probabilistic verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803654)