VeriFly: On-the-fly Assertion Checking via Incrementality

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. TPLP, 21(6):768-784, 2021. [doi]

Abstract

Abstract is missing.