Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Browse the full SAFECOMP paper archive.