SAS2018 - The Misra C Coding Standard and its Role in the Development (by Roberto Bagnara)

The invited tutorial "The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software" was given by Roberto Bagnara at the Static Analysis Symposium (SAS) 2018. The paper is available at: https://link.springer.com/chapter/10.... For more information, see: http://staticanalysis.org/sas2018/sas...