29.03.2012: Успех BLAST 2.7 на международных соревнованиях по верификации программ
Опубликовано admin в ПТ, 20/04/2012 - 06:54
На Первых международных соревнованиях по верификации программ прошедших в рамках конференции TACAS 2012 в Таллине, Эстония разработчикам инструмента статической верификации Си программ BLAST 2.7 была вручена почетная табличка за победу в категории DeviceDrivers64. Также инструмент занял третье место в категории DeviceDrivers. Детальные результаты соревнований можно посмотреть здесь.
»