Exploiting Transition Locality in the Disk Based Mur phi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Browse the full FMCAD paper archive.