Model Checking SDL with Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Browse the full TACAS paper archive.