Presented our paper Residual Runtime Verification via Reachability Analysis in VSTTE 2022 in the city of Trento, Italy.