3 ms·

This vaguely reminds me of Microsoft's CHESS testing tool: http://research.microsoft.com/en-us/projects/chess/ http://research.microsoft.com/en-us/projects/ches

by noamsml 15y ago

This vaguely reminds me of Microsoft's CHESS testing tool: http://research.microsoft.com/en-us/projects/chess/ http://research.microsoft.com/en-us/projects/chess/. An interesting research project that (IMO) didn't get its proper day in the limelight.