Verification of probabilistic systems with faulty communication

DOI10.1007/3-540-36576-1_3MaRDI QIDQ4417850zbMATH OpenFDO

Authors Alexander Rabinovich, Parosh A. Abdulla

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200039.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification of probabilistic systems with faulty communication
• Quantitative analysis of probabilistic lossy channel systems
• Quantitative analysis of probabilistic lossy channel systems
• Validation of Stochastic Systems
• Model checking lossy channels systems is probably decidable

Cited in

(14)

• A note on the attractor-property of infinite-state Markov chains
• Verification of multiprocess probabilistic protocols
• Simulating perfect channels with probabilistic lossy channels
• Unreliable channels are easier to verify than perfect channels
• Deciding probabilistic bisimilarity over infinite-state probabilistic systems
• Quantitative analysis of probabilistic lossy channel systems
• \(\pi\)-calculus with noisy channels
• Verification of probabilistic systems with faulty communication
• Deterministic Models of Communication Faults
• Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
• Quantitative analysis of probabilistic lossy channel systems
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
• Stochastic Games with Lossy Channels
• About decisiveness of dynamic probabilistic models

This page was built for publication: Verification of probabilistic systems with faulty communication

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