AdaCore’s CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway
Fri, 24 Oct 2014 07:28:14 -0700
NEW YORK, PARIS & BRISTOL, United Kingdom--(BUSINESS WIRE)--AdaCore announced its CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for avionics and railway.
Fri, 24 Oct 2014 07:14:00 -0700
High Integrity Software Conference -- AdaCore today announced that its GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid , for the UPMSat-2 UNION satellite project’s real-time on-board and ground control software.
Fri, 24 Oct 2014 07:03:00 -0700
Islamist movements have evolved dramatically due to a several key trends that have defined and redefined their experience in the new Arab political (dis)order.
Headlines for "Domains" provided by Yahoo! News