ECLAIR 3.13.1 Release Highlights

Thu, 01/25/2024 - 17:02

Release 3.13.1 of the ECLAIR Software Verification Platform is now available!  This version contains only minor fixes and documentation improvements. Here is a small sample:

  • Enhancements of support for already-supported toolchains.
  • Enhancements and corrections of existing features and services.
  • Enhancements and additions to collateral documentation.
  • Enhancements and corrections to the ECLAIR GUI.

Users can log into their Mantis account and download ECLAIR Release Notes here for further details.


Get a preview

Register for the next monthly presentation of the tool and get an overview of some the many features of ECLAIR 3.13.1.



Browse some more

Check out the release highlights of ECLAIR 3.13.0 and watch a 40-minute presentation of some of the many new features.

Watch now




Subscribe here for the BUGSENG updates.

Email address
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.