Probabilistic verification

DOI10.1006/INCO.1993.1012zbMATH Open0797.68112OpenAlexW2337623929MaRDI QIDQ1803654FDOQ1803654

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

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

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)

Cited In (23)

• Liveness Reasoning with Isabelle/HOL
• Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
• Probabilistic verification of Boolean functions
• Quantitative Kleene coalgebras
• Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
• On fairness and randomness
• Quantitative analysis under fairness constraints
• A hierarchy of probabilistic system types
• A temporal logic for proving properties of topologically general executions
• 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
• Title not available (Why is that?)
• When are stochastic transition systems tameable?
• 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
• Title not available (Why is that?)
• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

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)