Experience applying the SPIN model checker to an industrial telecommunications system.

Barry Long, Jrgen Dingel, T. C. Nicholas Graham

Browse the full ICSE paper archive.