Testing tool checking corectness conditions for concurrency objects