ECLAIR Software Verification Platform Verified

Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++ programs.

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.

ECLAIR Highlights

• The hardest part of the configuration, namely the adaptation to the compiler toolchain and the particular language dialect(s) used in the project, is fully automatic.
• Uniform user experience whether ECLAIR is used from its GUI, from the command line, within IDEs and in CI/CD systems such as Jenkins, GitLab and GitHub.
• Automatic checking of the system architecture, independence and freedom from interference of software components.
• ECLAIR comes with an integrated Requirements Management Tool.
• ECLAIR is certified for use in safety-critical developments, according to the main functional safety standards, up to the highest SILs and ASILs.