Fast and Accurate Bitstate Verification for SPIN (2004)

by P C Dillinger, P Manolios
Venue:11th Int. Spin Workshop on Model Checking Software, LNCS 2989