This blog contains articles about CHESS, a tool from Microsoft Research. For more details visit http://research.microsoft.com/chess
