AdaCore announces successful completion of project Hi-Lite
AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, EUR3.9 million effort aimed at popularizing formal methods in the development of high integrity software by combining formal verification and testing.
Social media management platform HooteSuite has acquired social applications developer Seesmic, the companies announced Thursday.