A one-time process to verify that a collection of software and hardware fulfills given specifications.