Behavioral verification of an ATM switch fabric using implicit abstract state enumeration | IEEE Conference Publication | IEEE Xplore