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

Figure 2

A hexagon representing a function [5].