Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification.

Hana Chockler

Browse the full FMCAD paper archive.