PVAIR: Partial Variable Assignment InterpolatoR

FASE, pp. 419-434, 2016.

Cited by: 7|Bibtex|Views18|Links
EI

Abstract:

Despite its recent popularity, program verification has to face practical limitations hindering its everyday use. One of these issues is scalability, both in terms of time and memory consumption. In this paper, we present Partial Variable Assignment InterpolatoR PVAIR --- an interpolation tool exploiting partial variable assignments to si...More

Code:

Data:

Your rating :
0

 

Tags
Comments