Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
M. Schordan,Dirk Beyer,Jonas Lundberg
2016 · DOI: 10.1007/978-3-319-47166-2_13
Leveraging Applications of Formal Methods · 0 Citations
TLDR
This track is concerned with the methods of comparative evaluation of program analyses and the tools that implement them and the question how program properties that have been verified can be represented such that they remain reproducible and reusable as intermediate results for other analyses and verification phases.