Stuttering Abstraction for Model Checkin.

Shiva Nejati, Arie Gurfinkel, Marsha Chechik

Browse the full SEFM paper archive.