29-Mar-2012: BLAST 2.7 succeeded in the 2012 International Competition on Software Verification

At the 1st Intl. Competition on Software Verification held at TACAS 2012 in Tallinn, Estonia developers of the static verification tool for C programs BLAST 2.7 were awarded as winners in the category DeviceDrivers64. Also, the tool took third place in the category DeviceDrivers. See detailed results of the competitions here.