Computer science is little more than a bunch of applied mathematics, so they know that by using mathematical proving methods. There is a paper on this if you are so inclined that explains not only the algorithm but some recognized flaws that the author has since fixed.