Causality-Based Verification