Saab Electronic Defence Systems väljer CodePeer

AdaCore meddelade idag att Saab Electronic Defence Systems (Sverige) har valt CodePeer en statisk Analysator för användning i GIRAFFE-projektet. Detta avancerade statiska analys-verktyg hjälper utvecklare att upptäcka potentiella run-time och logikfel i Ada-program. Genom att matematiskt analyse..