You just read:

Altran and AdaCore Release Next-Generation Static Verification Toolset

News provided by

Altran

Apr 30, 2014, 12:58 ET