@inproceedings{falcone:hal-03911820, TITLE = {{Residual Runtime Verification via Reachability Analysis}}, AUTHOR = {Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-03911820}, BOOKTITLE = {{VSTTE 2022 - 14th International Conference on Verified Software: Theories, Tools, and Experiments}}, ADDRESS = {Trento, Italy}, PAGES = {1-19}, YEAR = {2022}, MONTH = Oct, KEYWORDS = {Residual Runtime Verification ; Instrumentation ; Parametric Monitoring ; Control Flow ; Runtime Overhead ; Bad prefix}, PDF = {https://inria.hal.science/hal-03911820/file/vstte-camera-ready.pdf}, HAL_ID = {hal-03911820}, HAL_VERSION = {v1}, }