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

19.11POWTEX2024 The 25th International Powder Technology Exhibition Tokyo
Industrial Goods and Services »
24.11Portrait.Of.Pirates ver2.5
24.11Switch
24.11 / TIN
24.11duranduranALMGHTY 26.5cm
24.11straykids skzoo
24.11 4
24.11 TrioTryiT Figure21
24.11
More »