The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. Each terminal comprises a mounting portion, an engaging portion extending upwardly from the mounting portion and at least a tail portion extending downwardly from the mounting portion. The sacrificial segment absorbs hydrogen so that it cannot diffuse laterally into the protected segment of the ferroelectric thin film. The dampening water is attached on the hydrophilic area in an amount of 0. The compiled data is returned to a simulator that is executing the program simulation. The vehicle image shows the battery in the vehicle before removal.