In safety-critical applications, bugs in software are not just costlydistractions—they can put lives at risk. Consequently, safety-criticalsoftware developers go to great lengths to detect and fix ...