Using magnetic disk instead of main memory in the Mur# verifier (1998)

by Ulrich Stern, David L Dill
Venue:Computer Aided Verification