As systems become more complex today, verifying the safety of complex systems is becoming increasingly important. However, validation activities using actual systems face limitations in terms of time and cost. To overcome ...