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”.