|The development of high-quality software is a tough task: ECLAIR has been designed to assist development and quality assurance teams to realize that quality, as well as helping quality control teams assess its achievement.|
ECLAIR is a general platform for software verification. Applications range from coding rule validation, to automatic generation of testcases, to the proof of absence of run-time errors or generation of counterexamples, and to the specification of code matchers and rewriters based both syntactic and semantic conditions.
As each application is licensed separately, there is only one ECLAIR but many possible ECLAIR-based tools. Some of them are standard, because of convergent industrial demand: this is the case for the MISRA C:2004 + HIS Metrics ECLAIR package. Others have been customized to exactly suit the customer needs so, in a sense, they are unique to the customer.
Interested? You can