5 ms·
Formally Verifying Chess Endgames in HOL4 - solve chess for small values of n
- gus_massa 15y agoIf you have little time, you must read at least the page 24 of the slideshow: "Quiz: Find the only winning White move."
- GFischer 15y agoIt'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 ).
- bumbledraven 15y agoThis work was done in 2005. The author's paper "Formal verification of chess endgame databases" is available at http://gilith.com/research/papers/chess.pdf http://gilith.com/research/papers/chess.pdf