The LDRA tool suite can now use real-world data from MATLAB that’s connected to a Simulink model to fully verify the application at a source and object code level. Developers can fine-tune the model ...