VeriFly: On-the-fly Assertion Checking via Incrementality. - Miguel A. Sanchez-Ordaz; Isabel Garcia-Contreras; Victor Perez-Carrasco; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)