Ist es möglich durch autonome Software-Verification Programme zu entwickeln, welche nicht durch hacker infiltriert werden können?