SYSTEM VERIFICATION PROGRAM GENERATION DEVICE, SYSTEM VERIFICATION PROGRAM GENERATION METHOD, AND RECORDING MEDIUM STORING SYSTEM VERIFICATION PROGRAM GENERATION PROGRAM

摘要

The system verification program generation device 20 is equipped with a search unit 21 that searches a system design for execution entities and parameters of a verification program, which is a program that verifies whether the system design derived from system requirements satisfies one or more verification items extracted from the system requirements.