SPARK Ada for the MISRA C DeveloperΒΆ

Download pdf

This book presents the SPARK technology -- the SPARK subset of Ada and its supporting static analysis tools -- through an example-driven comparison with the rules in the widely known MISRA C subset of the C language.