4
RAI ESTIMATION system
7
Freeware
RAI Estimation System is a cost estimation software application.
7
CvsGui
1,028
Open source
WinCVS is a Concurrent Versioning System (CVS) client.
14
Microsoft
4,821
Freeware
CHESS is a tool for disciplined testing of concurrent programs.
19
Microsoft Corporation
44
Freeware
Zing is a state-exploration engine for models of concurrent software systems.
3
March Hare Software
25
Open source
CVSNT 2.5 is a Concurrent Versioning System (CVS) server.
1
Infomedia Ltd
4
Demo
It provides dealerships with concurrent licensing options.
61
HansaWorld
12
Commercial
Integrated ERP & CRM solution, typically for 10-200 concurrent users.
1
Microsoft Research
18
Freeware
VCC is a mechanical verifier for concurrent C programs.
3
Mordechai Ben-Ari
50
Freeware
A GUI for the Spin model checker that verifies concurrent & distributed programs.
