Free Trial

Company Assets

BUGSENG’s strength lies in a unique combination of advanced technology, deep domain expertise, and recognized credibility in the field of software verification and functional safety. These assets are the foundation of everything we do.

Intellectual Property

We have developed and maintain a portfolio of proprietary technologies that power our solutions and services

These tools represent over 50 person-years of focused R&D, built with scientific rigor and practical applicability in mind

eclair

ECLAIR Software Verification Platform®

our flagship static analysis and verification suite for C/C++

DISCOVER
ppl logo

Parma Polyhedra Library (PPL)

a mathematical library for numerical abstractions, critical in static analysis

DISCOVER

CORAL

a purpose-built Boolean solver used in structural and semantic analyses

PURSS

a solver for recurrence relations, used to derive complexity bounds in static analysis

DISCOVER
C rusted

C-rusted

a specialized checker for verifying MISRA-like compliance in systems-level Rust

DISCOVER

A Team of Experts

Our team brings together internationally recognized authorities in software verification, programming languages, and safety standards.

  • Roberto Bagnara
    Member of the MISRA C Working Group, ISO C Standardization Committee (WG14) and MISRA Software Quality Metrics (SQM)
    Widely published in formal methods, static analysis, and programming languages.

  • Patricia M. Hill
    Member of the MISRA C++ Working Group
    Renowned for her contributions to logic programming, static analysis, and software safety.

  • Abramo Bagnara
    Internationally recognized MISRA compliance expert, known for his practical guidance and technical leadership.

 

Our team members are active contributors to the evolution of safety-critical software engineering practices.

Certifications

BUGSENG operates under a quality management system certified to ISO 9001 and has achieved TÜV SÜD Functional Safety Certification for the ECLAIR Software Verification Platform®.

These certifications demonstrate our commitment to quality, transparency, and the highest industry standards.

From world-class tools to internationally recognized experts, BUGSENG is uniquely equipped to support your most demanding software verification and compliance projects.