je.st
news
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