Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains
No abstract available.
Related papers
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks CAV 2015
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024
- Shepherding Hordes of Markov Chains TACAS 2019
- Probabilistic Resource-Aware Session Types POPL 2023
- Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains CAV 2018
- QReach: A Reachability Analysis Tool for Quantum Markov Chains CAV 2024
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019