[PODELSKI] Find, Use, and Conserve Tools for Formal Methods

Find, Use, and Conserve Tools for Formal Methods (Video, PODELSKI)
Dirk Beyer
(LMU Munich)

Abstract: The research area of formal methods has made enormous progress in the last 20 years, and many tools exist to apply formal methods to practical problems. Unfortunately, many of these tools are difficult to find and install, and often they are not executable due to missing installation requirements. The findability and wide adoption of tools, and the reproducibility of research results, could be improved if all major tools for formal methods were conserved and documented in a central repository of tools for formal methods (cf. FAIR principles).
Andreas Podelski and his research group, with their Ultimate family of tools for software verification, are among the early adopters of this strategy, and the Ultimate tools are included in the repository from its beginning.

Sponsored by ACM SIGPLAN,