It's quite interesting for people not so interested in chess, too :) , the linked presentation ( http://www.gilith.com/research/talks/psu2011.pdf http://www.gil

It's quite interesting for people not so interested in chess, too :) , the linked presentation ( http://www.gilith.com/research/talks/psu2011.pdf http://www.gilith.com/research/talks/psu2011.pdf ) talks about software testing and static analysis. And the people at Galois seem to be making advances in applying formal methods to the real world ( http://corp.galois.com/formal-methods http://corp.galois.com/formal-methods ).