Using finite number of simulations cannot give any safety guarantee.
A simulation-driven verification algorithm: simulate-bloat-check-refine. The green tubes are safe and grey tubes are suspicious.
Using finite number of simulations may help find bugs in a brutal force way.
The same simulation-driven verification algorithm can also help find bugs.