Audio & Video Components (cont.)Philips Protocol
- 1994, Bosscher, Polak, Vaandrager model and manual proof of correctness of Philips Protocol (FTRTFT best paper award).
- 1995, First Automated Proof in HyTECH (7hours)
- 1995, Automated Proof in UPPAAL (8sec)
- 1996, Automated Proof of the ‘entire’ protocol in UPPAAL with collision handling. (11 min on ONYX with 2GB).
- 1998, (UPPAAL 2.16) (15 sec on Pentium-II with 128MB).