Von einem Verifier wird Java-Code zunächst auf strukturelle Korrektheit und Typsicherheit überprüft. ###>Java code is initially being checked by a verifier for structural correctness and security of types.