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

by U Stern, D Dill
Venue:In International Conference on Computer Aided Verification (CAV