Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

First Page		Document Content
Date: 2018-10-19 18:15:18 Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement		Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Download Document from Source Website File Size: 3,03 MB Share Document on Facebook