Борьба с ошибками и неисправностями программного обеспечения осуществляется с помощью его верификации. В ходе её выполнения проверяется взаимная согласованность всех артефактов разработки — проектной и пользовательской документации
Целью этой работы является представление обзора различных методов конфигурации ПО. А так же проведение верификации ПО на конкретном примере. 
Задачи курсовой:
- рассмотреть виды программного обеспечения; 
- изучить основные методы верификации ПО; 
- осуществить верификацию ПО.