The Severe Hazards Analysis and Verification Experiment | Synapse