A server that is a program providing device includes: a provision processing unit that provides a program part constituting a control program being a program to be executed in a controller; an authentication unit that authenticates an operation simulation module being a program for simulatively performing operation in accordance with the program part on a basis of a result of verification on whether or not the operation simulation module can simulate operation of the controller to be performed by execution of the program part; and an operation checking unit that checks operation of the program part by using the authenticated operation simulation module.