Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution

Figure 1

The framework of hazard identification based on the extended FRAM.