All categories

CHESS: Disciplined Concurrency 

Free CHESS is a tool for disciplined testing of concurrent programs
4 
Latest version:
No Other Versions
Developer:
Collect

CHESS is a tool for disciplined testing of concurrent programs. CHESS requires users to develop concise concurrent tests for that explore one concurrency scenario-or a few scenarios-in their programs. Given such a test, CHESS systematically enumerates all behaviors of the program being tested to find concurrency errors, data races, deadlocks, and livelocks.

Comments

Suggestions

MONOPOLY HERE & NOW EDITION
MONOPOLY HERE & NOW EDITION
Free

MONOPOLY HERE AND NOW EDITION is a modern makeover of the popular board game

Arena
Arena
Free

Provides a Graphical User Interface for chess

Atlantis Quest
Atlantis Quest

Fun and challenging puzzle game that will take you on an exciting journey to uncover the secrets of the legendary sunken city

Rummy From Special K
Rummy From Special K
Free

RUMMY contains all the classic Rummy games like GIN RUMMY,500 RUMMY, and more

CHESS: Disciplined Concurrency
CHESS: Disciplined Concurrency
Free

CHESS is a tool for disciplined testing of concurrent programs

WJChess 3D
WJChess 3D
Free

WJChess 3D is a game that provides many visual effects

Download
Free