ECLAIR 3.13.1 Release Highlights

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.

  Register    

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