статическая верификация