Статья рассказывает о новом направлении в развитии статических анализаторов кода – верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание "Parallel Lint".
Популярность: 6%
Если Вам нравится этот блог - подпишитесь на RSS ленту. Это даст Вам преимущество - получать все интересные и свежие обновления первее других.