A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019
CERT® C versus MISRA C
SAS2018 - The Misra C Coding Standard and its Role in the Development (by Roberto Bagnara)
MISRA C:2012 Guideline Classification - Excerpt from An Introduction to MISRA C:2012 Webinar
Proof of Pointer Programs with Ownership in SPARK
MISRA C Compliance - Excerpt from An Introduction to MISRA C:2012 Webinar
An Introduction to MISRA C - Excerpt from An Introduction to MISRA C:2012 Webinar
MISRA C
MISRA-C Documents and Roadmap
MISRA C SOFTWARE DEVELOPMENT GUIDELINES | MISRA C Rules | MISRA C
MISRA C code checking
MISRA-C Roadmap 2017
What is SPARK? — SPARK Demo Part 1
MISRA C The Power of C Without the Pitfalls: Free Tech Training - 1 Hour from AFuzion & BUGSENG.
MISRA-C From The Beginning
SPARK and Tokeneer Demo
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards
What is Safety-Critical Software, and How Can Ada and SPARK Help?
What is the relationship between SPARK and Ada?
SPARK 2014 - Formal Verification Made Easy
