Combining Static and Runtime Verification with AC and Coq. - Giorgio Audrito; Daniel Haures (VORTEX@ISSTA, 2023)