The process of searching for inputs that violate a system's formal specification to prove it doesn't meet its requirements.