As part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the long list of open bugs automatically reported by the fuzzing robot syzbot that are still waiting for a fix.
Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software - NewsJune 23, 2020
Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.