BUGSENG is a leading provider of solutions and services for static code analysis. Software verification is a complex task that requires deep specialization for which BUGSENG has designed a new generation of tools. These are based on sophisticated program verifiers that can handle the complexity of the task in a transparent way and effectively support the software engineering community in a continuous improvement process leading to truly reliable and practical mission- and safety-critical systems.
Our products are based on a solid understanding of modern software industry needs and requirements in which sound theoretical work has been coupled with the best software engineering practices. Built on more than 20 years of advanced research, our software verification platform ECLAIR embodies what probably is the most accurate MISRA-checking tool available on the market.
We offer a full range of services relating to software verification: consulting, training courses, tool integration, specific custom development, verification of customer code, definition of internal coding standards and software audit reviews.
In BUGSENG, we believe that high-quality software requires high-quality verification tools and services. That's why our motto is: no shortcuts, no compromises, no excuses: software verification done right.