Explicit Model Checking Based on Integer Pointer and Fibonacci Hash | IEEE Conference Publication | IEEE Xplore