Wolf - Bug Hunter for Concurrent Software Using Formal Methods.

Sharon Barner, Ziv Glazberg, Ishai Rabinovitz

Browse the full CAV paper archive.