SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol.

Hong Peng, Sofine Tahar, Ferhat Khendek

Browse the full ICFEM paper archive.