Sam Kolton

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
One of the most serious problems when doing program analyses is dealing with function calls. While function inlining is the traditional approach to this problem, it nonetheless suffers from the increase in analysis complexity due to the state space explosion. Craig interpolation has been successfully used in recent years in the context of bounded model(More)
  • 1