Validate contracts through examples, invariants, fuzzing, stateful models, fork tests, differential checks, and selective formal methods.
