CHESS model checker - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-07-21 20:08:01 Software bugs Software testing Concurrent computing Thread Chess Computer chess Heisenbug Scheduling CHESS model checker Games Computer programming Computing		Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 2,60 MB Share Document on Facebook