верификацией я имел ввиду построение абстракции кода и окружения и проверки на правила. Долго объяснять, но врядли браузер с этим справится. У нас на верификации драйверов линюкс кластер работает. Там нормальные мощности нужны.
Линтеры - это терминология из разработки rtl кода. Имхо разработка rtl на порядок дальше в методиках верификации продвинулась, чем c++
Обсуждают сегодня