Probabilistic Verification for "Black-Box" Systems
Abstract elided by the publisher.
Related papers
- Statistical Model Checking of Black-Box Probabilistic Systems CAV 2004
- Modeling black-box components with probabilistic synthesis GPCE 2020
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
- Systematic black-box analysis of collaborative web applications PLDI 2017
- Black-Box Equivalence Checking Across Compiler Optimizations APLAS 2017
- Black Box Unfolding with Local First Search TACAS 2002
- A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations SLE 2011