EDF Assesses Nuclear Plant Software Safety with Formal Methods Using Polyspace

A MathWorks Case Study

Case study describing how EDF Energy used MathWorks

View this case study…

EDF Energy

Samuel Moody

EDF Energy


MathWorks

657 Case Studies