JTEKT

Power Steering Control Software

JTEKT demonstrated how to leverage the SPARK Ada language subset and formal methods to facilitate unit testing and verification of the system’s C code to ensure that it was correct.

Read the Press Release »



Last Updated: 7/29/2021
Posted on: 7/29/2021