Relacy Race Detector

Contact owners and managers
relacy@googlegroups.com

Description

Relacy Race Detector is a tool for verification of synchronization algorithms written in C++0x.

Language

English (United States)

Privacy

Anyone on the web
can see group
Group owners and managers
can view members
Anyone on the web
can view conversations
Anyone on the web
can post
Anyone on the web
can join group