Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.

Bernard Boigelot, Patrice Godefroid

Browse the full FM paper archive.