SPARK 2014 is the next generation of this leading software technology, offering key benefits such as support for hybrid verification (combining formal methods with traditional testing), executable ...

Altran and AdaCore have released an enhanced upgrade to their integrated development and verification environment for the ADA-based SPARK language, Version 14.0. According to Keith Williams, Group ...

TOULOUSE, France--(BUSINESS WIRE)--ERTS 2 2016--AdaCore today announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based ...

Ada is a general-purpose language, like C++ or Java, supporting the usual features of modern programming languages, such as data encapsulation, object orientation, templates (called “generics”), ...

Looking at programming languages, it seems that for a long time, safety or reliability was considered an afterthought, usually covered later in tools such as testing and static analysis, rather than ...

Praxis has today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s ...

AdaCore and Altran Praxis have just release the newest version of the SPARK Pro 11 software development and verification environment for use by developers of high-assurance systems. SPARK is a ...

UK Space Conference – AdaCore today announced the start of the Lunar IceCube project, a major hardware/software development effort that will use the GNAT Pro and SPARK language toolsets to help ...