BUGSENG is a leading provider of solutions and services for automated software verification: ∙ 

The ECLAIR Suite, which includes a powerful static analyzer, ECLAIR, for the automatic analysis and verification of C and C++ programs, and solutions to help accelerate the qualification of your projects according to the main functional-safety standards.

Highly specialised consulting services. E.g., bringing existing projects into MISRA compliance, development and verification of safe and secure software, integration of software verification tools into complex CI/CD infrastructures. ∙ Training on MISRA C, MISRA Compliance and ECLAIR. The latter is almost fully tailored to meet your specific usecases, enabling your team to really make the most out of the tool. Partnering together, Rapita and BUGSENG bring to you a complete ecosystem of products covering both static and dynamic analysis.