Welcome to DryVR’s user manual!¶
Latest manual url http://dryvr-02.readthedocs.io/en/latest/
DryVR is a framework for verifying cyber-physical systems. It specifically handles systems that are described by a combination of a Black-box Simulator for trajectories and a white-box Transition Graph specifying mode switches. The framework uses a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data and includes a bounded reachability analysis algorithm that uses the learned sensitivity.
- DryVR’s Verification Language
- DryVR’s Synthesis Language
- Examples and Performance Evaluation
- Parameters configuration
- People Involved