Technical Training

ECLAIR software verification platform

11 November 2019 10:00 Am - 4:00 Pm Chennai Event

ECLAIR is a powerful platform for the automatic analysis and verification ​of C and C++ programs. In this seminar we will first highlight the ​main features of ECLAIR as a platform: proper integration with the ​toolchain, precise tracking of the preprocessing phase, powerful ​reporting capabilities and deviation mechanisms

  • Start Time
    9:00 AM
  • Finish Time
    4:00 PM
  • Address