Best of both fuzzing and formal verification: introducing Bounded Model Checking

Fuzzers miss bugs. Formal verification is hard to use. This talk introduces bounded model checking, a technique that combines the best of both by exploring all executions from real states, finding reproducible rare bugs with minimal human effort.