Search Results for 'Underapproximation'

Underapproximation published presentations and documents on DocSlides.

Finding Optimum Abstractions in Parametric Dataflow Analysis

by natalia-silvester

Finding Optimum Abstractions in Parametric Datafl...

From Underapproximations to Overapproximations and Back!

by karlyn-bohler

Arie. . Gurfinkel. Software Engineering Institut...