A verification supporting apparatus includes a concept model generating unit, a function model verifying unit, a motion model verifying unit, and an ICA model verifying unit. The concept model generating unit generates a concept model aiming at a requirement specification of a customer to eliminate an error or misunderstanding of the specification at the initial stage of design. The function model verifying unit verifies a concurrent and parallel function model, to verify appropriateness of function module division and correctness of concurrence and parallelism. The motion model verifying unit verifies a motion model, to verify whether the design of architecture is appropriate and whether performance requirements are satisfied. The ICA model verifying unit verifies correctness of interface design.