The paper AutoSV-Annotator: Integrating Deductive and Automatic Software Verification written by Lukas Armborst, Dirk Beyer, Marieke Huisman and Marian Lingsch-Rosenfeld has been accepted at FMICS 2025.