In this talk, we identify some well-known software verification problems, using real-world examples from open-source projects and see how we might apply some deep learning principles to address them. In the various points where we may test the Java runtime, we find candidates for deep learning. What is required? We need a problem to solve, a model that describes it, and a large amount of data to feed the neural network.