SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks

Dirk Beyer, Gidon Ernst, Martin Jonáš +1

In the past two decades, significant research and development effort went into the development of verification tools for individual languages, such asC, C++, and Java. Many of the…