SPARK for the MISRA-C DeveloperΒΆ

This book presents the SPARK language and static analysis in comparison to the widely known MISRA-C subset of the C language and its own set of rules, many of which are enforced by static analysis.