Evaluation of static analysis tools used to assess software important to nuclear power plant safety
We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, Electricité de France (EDF) investigates the use of methods and tools for source co...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2015-03-01
|
| Series: | Nuclear Engineering and Technology |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1738573315000091 |