CHESS model checker

CHESS model checker
Results: 1

#	Item
1	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - 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

UPDATE