Sharon Barner Ziv Glazberg Ishai Rabinovitz Wolf - Bug Hunter for Concurrent Software Using Formal Methods. 153-157 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_16 db/conf/cav/cav2005.html#BarnerGR05