Fast and Accurate Bitstate Verification for SPIN (2004)

Cached

Download Links

by Peter C. Dillinger , Panagiotis Manolios
Venue:In Proceedings of the 11th International SPIN Workshop on Model Checking of Software (SPIN
Citations:17 - 2 self