Over the last several years, tools for program analysis and verification have became much more mature. There are now a number of competitions that evaluate and compare the implemented analyses for a given set of benchmarks. The comparison of the analyses either focuses on the analysis results themselves (verification of specified properties) or on the impact on a client analysis. This track is concerned with methods of evaluation for comparing analysis and verification techniques and how verified program properties can be represented such that they remain reproducible and reusable as intermediate results in the overall verification process (i.e., for other verification tools or verification steps).
CITATION STYLE
Schordan, M., Beyer, D., & Siegel, S. F. (2018). Evaluating tools for software verification (track introduction). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11245 LNCS, pp. 139–143). Springer Verlag. https://doi.org/10.1007/978-3-030-03421-4_10
Mendeley helps you to discover research relevant for your work.