The design verification device, the succession conditional information which defines the succession condition for showing

摘要

PROBLEM TO BE SOLVED: To provide a design verification device, a design verification method and a design verification program that make it possible to easily and accurately generate a correspondence relationship between an operation content and an operation result of an embedded device and the like, and to perform a design verification.SOLUTION: A design verification device 1 comprises: a storage part 5 that stores requirement definition information defining functions of a verification target and transition conditions information defining transition conditions that fulfills the functions defined in the requirement definition information; and a design verification program generation part 6 that generates the design verification program that fulfills the functions defined in the requirement definition information based on the requirement definition information and the transition conditions information stored in the storage part 5, based on a transition condition among the transition conditions defined in the transition conditions information that corresponds to a virtual operation content when the operation content for the verification target is accepted through prescribed means.