Venera Technologies to address file-based verification at IBC2009