Statistical Model Checking of Black-Box Probabilistic Systems
No abstract available.
Related papers
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- Probabilistic Verification for "Black-Box" Systems CAV 2005
- Modeling black-box components with probabilistic synthesis GPCE 2020
- Black-Box Equivalence Checking Across Compiler Optimizations APLAS 2017
- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study TACAS 2004
- A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations SLE 2011
- Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels OOPSLA 2024
- A black-box approach to energy-aware scheduling on integrated CPU-GPU systems CGO 2016