Model checking software with well-defined APIs: the socket case.

Pedro de la Cmara, Mara-del-Mar Gallardo, Pedro Merino, David Sann

Browse the full FMICS paper archive.