Fast and Accurate Bitstate Verification for SPIN (2004)

by P Dillinger, P Manolios
Venue:In Proc. of SPIN 2004, volume 2989 of LNCS