The paper Survey of Annotation Generators for Deductive Verifiers written by Sophie Lathouwers and Marieke Huisman has been accepted to be published in the journal of Systems & Software.