VeriFly: On-the-fly Assertion Checking via Incrementality | Publicación