CHUCHU FAN For beautiful eyes, look for the good in others; for beautiful lips, speak only words of kindness; and for poise, walk with the knowledge that you are never alone. --Audrey Hepburn

An Illustration of Simulation-driven Verification Algorithm (sound and relatively complete)

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.

Some links

An useful Latex hand-writing Recognation website