Системы статического контроля: модели и их применение