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