How Effective is Model Checking in Practice?

TheAnh Do, Alvis Cheuk M. Fong, Russel Pears

Browse the full ENASE paper archive.