1. A verification supporting apparatus comprising: an analytical information receiving unit that receives analytical information indicative of a result of analysis of a requirement specification regarding a large-scale integration of a design object; a concept model generating unit that generates a concept model in which basic functions of the design object are modeled and in which physical architecture of the design object and concept of time are abstracted, based on the analytical information; a function model generating unit that generates a function model that is modeled by extracting division of modules making up the design object and concurrence and parallelism of divided modules, based on the analytical information; and a function model verifying unit that verifies whether the division of modules and the concurrence and the parallelism in the function model are proper based on the concept model.