Inspection of Safety-Critical Software Case study: Darlington nuclear power plant shutdown system Prepared by: Ke Tang The Darlington Nuclear Generating Station The Darlington…