Только что вернулись с Открытой конференции ИСП РАН, которая прошла в Москве (9-10 декабря).
ИСП РАН является безусловным лидером в области технологий и методологий верификации ПО.

Конференция выдалась насыщенной: море научных и практических докладов. Для нас особый интерес традиционно представляли выступления ФСТЭК России, а также день РБПО от АРПП.

Запись трансляции докладов можно посмотреть на сайте конференции.