This website contains supplementary material for the FMCAD23 submission "CRV: An Automated Cyber-Resiliency Reasoner for System Design Models".
A VM image containing the CRV tool, the Delivery Drone models used in the Case Study, and related instructions can be downloaded here: CRV_Virtual_Image.zip
A copy of the Delivery Drone models used in the Case Study is also available here: DeliveryDrone_Models.zip
CRV is currently available as a functionality of VERDICT, a larger cyber-resilience analysis tool developed with industrial partners. If you want to install the tool in your computer, just follow the instructions provided in the README file distributed with each release.
Here is a demo video of CRV: