This talk presents real world application of solvers for checking code, as well as some discussion about tools that can be used and the history of symbolic execution.Symbolic execution is a useful approach for a variety of problems from solving puzzles to discovering vulnerabilities. It is show and tell time.