HelloSoft launches new convergence chip
HelloSoft, a VoIP and convergence chip maker, announced the launch of a new IP convergence chip, the HS100, Monday.
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.