TY  - RPRT
TI  - SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
AU  - Dirk Beyer
AU  - Gidon Ernst
AU  - Martin Jonáš
AU  - Marian Lingsch-Rosenfeld
PY  - 2025
UR  - https://arxiv.org/abs/2511.21509
ID  - 2511.21509
ER  -