There is an important and distinct pair of definitions used by a possibly smaller but significant number of people: Verification: formal theoretical proof Val

There is an important and distinct pair of definitions used by a possibly smaller but significant number of people: Verification: formal theoretical proof Validation: Empirical test based approach