verification of reliability and fault-tolerance in safety-critical systems.
Safety-critical systems constitute physical systems or devices
(e.g., airplanes, nuclear power stations, medical devices), including their
software-based monitoring and control components. These software