Altran and AdaCore have released the SPARK Pro 14.0 integrated development and verification environment, marking a big step forward in software verification technology and providing powerful and accessible 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.
"Given the widespread used of Intelligent Systems across many sectors, the adoption of the new SPARK 2014 technology makes complete business sense," said Keith Williams, Group Vice President of Intelligent Systems / Altran. "Our clients need to ensure user requirements are met and costly events such as recalls are avoided. SPARK Pro 14.0 does both."
Altran is a leading global provider of high-tech engineering services. For over 30 years, we have been defined by our passion for innovation.
As a trusted partner of organisations throughout the rail, automotive, aerospace, defence, energy and telecoms sectors, we enable our clients to work smarter in developing, deploying and maintaining leading-edge systems and products.
In the UK, we have offices in Bath, Bristol, Derby, London, Slough and Warwick. Additionally, a significant number of our engineering consultants and project teams are located at our clients' sites. Globally, Altran has more than 24,000 'Innovation Makers' in more than 20 countries, and 500 major clients.