A systematic method to evaluate and understand model behavior, often used to verify safety or fairness properties.