Assume-Guarantee Verification for Probabilistic Systems
No abstract available.
Related papers
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Learning-Based Assume-Guarantee Regression Verification CAV 2016
- Assume, Guarantee or Repair TACAS 2020
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- Randomized testing of distributed systems with probabilistic guarantees OOPSLA 2018
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023