Number of scientific articles published: 0
The results of the Why3 project have been presented in 20 scientific and technical articles in international conferences or journals, 7 international communications,
and many gatherings with academics or industrial partners/prospects/customers.
Number of patents filed: 0
Number of product’s innovation: 3
Project Hi-Lite has had a major impact on the products developed by CEA and AdaCore for verifying software at the highest levels of criticality.
CEA has integrated in its flagship product Frama-C the ability to execute logical specifications.
AdaCore has completely replaced the existing SPARK technology with a new toolset based on the Why3 and Alt-Ergo software bricks from Inria.
Inria has also released a completely new implementation of their verification technology called Why3.
Number of product’s innovation service: 0
Number of projected jobs created: 0
Number of jobs maintained: 0
Number of related companies creation: 0