US7823101B2 - Device, Method, and Storage for Verification Scenario Generation, and Verification Device