Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.

Kuntal Das Barman, Debapriyay Mukhopadhyay

Browse the full ICFEM paper archive.