VCC - это механический верификатор для параллельных программ C. После недолгого сканирования VCC выдаст вам подробный отчет о том, на сколько ваша программа справляется со своими задачами.