Home › Altran and AdaCore Release Next-Generation Static Verification Toolset
 

Keywords :   


Altran and AdaCore Release Next-Generation Static Verification Toolset

2014-04-30 06:00:00| Industrial Newsroom - All News for Today

PARIS -<br /> <br /> SPARK Pro 14.0 brings new proof technology and additional language features to developers of high-integrity software<br /> <br /> Altran and AdaCore announce the release of the SPARK Pro 14.0 integrated development and verification environment. This product marks a major step forward in software verification technology, providing users with more powerful and easier to use tools that support the latest version of the SPARK language, SPARK 2014. SPARK Pro 14.0 offers an ...This story is related to the following:Testing Software | Debugging Software

Tags: release static verification toolset

Category:Industrial Goods and Services

Latest from this category

All news
31.10Consolidated Financial Statements for the six-month period ended September 30, 2024
31.10Notice regarding the revision of the business results forecasts
Industrial Goods and Services »
05.11Vodafone-Three merger could get green light, watchdog says
05.11Altice USA residential video RGUs down 77,000 in 3Q 2024
05.11Shoppers warned over luxury advent calendar scams
05.11Durable Floor Coating from HMG Paints Transforms FC United\'s SMRE Bar
05.11Teknos Poland Honored by Farby i Lakiery
05.11Xumo teams up with Target to offer Hisense Xumo TVs
05.11KT launches 8K AI-powered IPTV set-top box
05.11Tropical Storm Rafael Graphics
More »