Estimating verification time
This addresses a specific challenge in verification processes, but it appears incremental as it builds on existing ideas without broad impact.
The paper tackles the problem of detecting hot-spots in verification, which is more complex than in software development, by proposing a method to identify functions most promising for optimization, but no concrete results or numbers are provided.
This essay is divided in four parts: In section (I) I explain why I think detecting hot-spots in verification is complicated and in particular, more complicated than detection when developing crude software. In section (II) I introduce the factors I think mostly affect performance in verification. In section (III) I propose a method to find functions that are most promising to be optimized. Finally, in section (IV) I draw some conclusions and discuss pros/cons of the proposed solution.