Ivannikov Institute for System Programming of the RAS


20 April, 2015

BLAST 2.7.3 at SV-COMP'2015

BLAST 2.7.3 was presented at the 4rd International Competition on Software Verification (SV-COMP) held at TACAS 2015 in London, United Kingdom. This year BLAST has won the gold medal in the DeviceDrivers64 category.

More information is available here.


All news