Implementaion of CHESS - Systematic concurrency testin tool