MISRA C COMPLIANCE

Let’s Do It Together with ECLAIR
03 Nov 2020
14:00 - 15:15
Workshop

MISRA C COMPLIANCE

Let’s Do It Together with ECLAIR

We will take a small, non MISRA-compliant (but sound) software project and we will go through all the steps involved in making it compliant and formulating a sound MISRA C compliance claim. Participants will use the ECLAIR software verification platform to that effect, and will be driven step-by-step throughout the entire process.
Prior to attending this workshop, it is recommended to follow the technical session “Using ECLAIR, from the GUI, from the command line, within IDEs and via Jenkins”.