Altran and AdaCore Release Next-Generation Static Verification Toolset
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 integrated approach to the entire software development and verification lifecycle – bringing software specification, coding, testing and unit verification by proof within a single integrated framework.
SPARK Pro 14.0 has been completely re-engineered to use the latest compiler and proof technology, providing advanced verification of an … Read More → "Altran and AdaCore Release Next-Generation Static Verification Toolset"