[PPT] - A Case Study on Formal Verification of the Anaxagoros Paging PowerPoint Presentation