Новости ИСП РАН


Новости ИСП РАН

20 Апреля, 2015

BLAST 2.7.3 на SV-COMP'2015

BLAST 2.7.3 был представлен на четвертых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2015 в Лондоне, Великобритания. В этом году BLAST выиграл золото в категории DeviceDrivers64.

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


Все новости