Верифика́ция в информатике, процесс определения того, удовлетворяют ли результаты текущего этапа разработки объекта (например, программно-аппаратной системы) требованиям, установленным для них на предыдущем этапе; процесс проверки выполнения заданных свойств объекта. Верификацией называют и любые действия, выполняемые в ходе этого процесса. Верификация бывает статической и динамической в зависимости от того, проводится ли она без функционирования проверяемой реализации (модели) или в ходе её работы.
Аннотация