BUGSENG is a leading provider of high-quality solutions and services for software verification.

The ECLAIR tool suite can support your development in all phases: from the source code to the executable code ready to be embedded in your critical devices. Key features are:

• Continuous compliance to coding standards
• Automatic toolchain configuration
• Use from GUI, command line, IDE, CI/CD systems
• Automatic checking of independence and freedom from interference
• Integrated requirements management tool
• Certified and qualifiable for the main functional-safety standards
• Advanced use in Docker containers

BUGSENG offers highly specialized consulting services to help indu ...