Validation of Stochastic Systems
From MaRDI portal
Publication:5325845
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) 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
- scientific article; zbMATH DE number 1759620
- scientific article; zbMATH DE number 1929967
- scientific article; zbMATH DE number 2038771
- Quantitative analysis of probabilistic lossy channel systems
- Verifying lossy channel systems has nonprimitive recursive complexity.
- Using forward reachability analysis for verification of lossy channel systems
- scientific article; zbMATH DE number 1956509
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
- Probabilistic verification of communication protocols
- Simulating perfect channels with probabilistic lossy channels
Cited in
(19)- Mixing Lossy and Perfect Fifo Channels
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
- scientific article; zbMATH DE number 1956509 (Why is no real title available?)
- scientific article; zbMATH DE number 2038771 (Why is no real title available?)
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
- \(\pi\)-calculus with noisy channels
- An analytical model for end-to-end communication channel over PLCN based on QBDs
- Proof of the Outage Probability Conjecture for MISO Channels
- Simulating perfect channels with probabilistic lossy channels
- Timed lossy channel systems
- scientific article; zbMATH DE number 1956504 (Why is no real title available?)
- Verifying lossy channel systems has nonprimitive recursive complexity.
- scientific article; zbMATH DE number 1929967 (Why is no real title available?)
- Using forward reachability analysis for verification of lossy channel systems
- Quantitative analysis of probabilistic lossy channel systems
- A note on the attractor-property of infinite-state Markov chains
- Verification of probabilistic systems with faulty communication
- Computable fixpoints in well-structured symbolic model checking
- scientific article; zbMATH DE number 1759620 (Why is no real title available?)
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325845)
