Free Trial

At BUGSENG, we believe that strong foundations in software verification are essential for future engineers working on critical systems. That is why we created the ECLAIR Educational Program: a dedicated initiative that provides academic institutions with access to ECLAIR at favorable conditions, enabling hands-on experience with state-of-the-art static analysis tools.

ECLAIR for Teaching and Learning

Under this program, universities and technical schools can obtain an ECLAIR license for use in the context of a specific educational course or lab project. The license is issued for the duration of the academic year, and is aligned in spirit with our project license model.

Key characteristics

  • Available exclusively for non-commercial, educational purposes
  • Covers the core ECLAIR analysis capabilities used in professional environments
  • Offered at significantly reduced pricing compared to standard commercial licenses

This allows students to work with the same tools used in industry to enforce coding standards such as MISRA C, check functional safety compliance, and develop an appreciation for static analysis best practices.

Real-World Example: DRSSS at University of Parma

An example of academic adoption is the course “Development and Verification of Safety- and Security-Critical Software (DRSSS)”, taught by Professor Roberto Bagnara at the University of Parma. In this course, students use ECLAIR to analyze realistic codebases, apply coding standards, and gain hands-on experience with static verification processes aligned with functional safety and secure coding standards.

Interested in Bringing ECLAIR to Your Classroom?

If you are an educator interested in incorporating ECLAIR into your syllabus, we would love to hear from you. Our team will be happy to guide you through the licensing process and help you get started.

Learn more about BUGSENG academic network.