Vinta: Verification with INTerpolation and

Author: tawny-fly | Published: 2025-05-29

Description: Vinta: Verification with INTerpolation and Abstract interpretation Arie Gurfinkel (SEICMU) with Aws Albarghouthi and Marsha Chechik (U. of Toronto) and Sagar Chaki (SEICMU), and Yi Li (U. of Toronto) TexPoint fonts used in EMF. Read the

Embed

<iframe width="560" height="315" src="https://www.docslides.com/embed/1074744" frameborder="0" allowfullscreen></iframe>

Download Presentation

Download the PPT/PDF: Download

Transcript:

Loading transcript�