TY  - RPRT
TI  - VeriFly: On-the-fly Assertion Checking via Incrementality
AU  - Miguel A. Sanchez-Ordaz
AU  - Isabel Garcia-Contreras
AU  - Victor Perez-Carrasco
AU  - Jose F. Morales
AU  - Pedro lopez-Garcia
AU  - Manuel V. Hermenegildo
PY  - 2021
UR  - https://arxiv.org/abs/2106.07045
ID  - 2106.07045
ER  -