Seminar Analysis and Verification of Network Protocols
Winter term 2008/2009
- July 2, 2008 (Wednesday) 14:00 ct.: Kickoff meeting in room 401, building E1 3
- October 28, 2008 (Tuesday) 14:00 ct.: Second meeting in room 401, building E1 3.
- October 27, 2008: Email Reminder: Second meeting
- October 29, 2008: Email
Timeslot: Monday, 1800--2000 each week
- October 30, 2008: Email Timeslot changed to Wednesday, 1600--1800 each week
- November 4, 2008: Email Reminder: This week's talk (Wednesday, November 5)
- November 11, 2008: Email Reminder: This week's talk (Wednesday, November 12)
- November 18, 2008: Email Reminder: This week's talk (Wednesday, November 19)
- November 25, 2008: Email Reminder: This week's talks (Wednesday, November 26)
- November 25, 2008: Email Inaccuracies in last mail
- November 28, 2008: Email HISPOS seminar registration
- December 2, 2008: Email Reminder: This week's talks (Wednesday, December 3)
- December 9, 2008: Email Reminder: This week's talks (Wednesday, December 10)
- December 16, 2008: Email Reminder: This week's talks (Wednesday, December 17)
- December 19, 2008: Email Seminar papers
- January 6, 2009: Email Reminder: This week's talk (Wednesday, January 7)
- January 13, 2009: Email No talk this week (Wednesday, January 14)
- January 20, 2009: Email Reminder: This week's talk (Wednesday, January 21)
- January 27, 2009: Email Reminder: This week's talk (Wednesday, January 28)
- February 3, 2009: Email Reminder: This week's talk (Wednesday, February 4)
- February 11, 2009: Email Reminder: This week's talk (Wednesday, February 11)
- February 25, 2009: Email Reminder: Seminar papers are due next week
- February 26, 2009: Email Supplementary talk next week (Monday, March 2)
- March 4, 2009: Email Deadline extension; new deadline: Thursday, March 12
- March 11, 2009: Email Reminder: Deadline tomorrow (Thursday), 23:59
- March 24, 2009: Email Certificates are ready
We are going to discuss methods for model checking of communication protocols and autonomous agents. The emphasis will be on two major problems in this field: How to avoid the combinatorial explosion of states and how to handle communication that involves an unbounded number of processes (ad hoc networks, for example).
You will especially benefit from the seminar if you combine it with the practical core lecture Data Networks and/or with the theoretical core lecture Verification, but it's not a prerequisite that you have already attended them or are attending them in parallel.
To pass this seminar, you have to
- give a presentation (English), based on a research paper (40 to 45 minutes).
- write a seminar paper (English or German) about your topic (ca 15 pages).
- hand in
- an outline of your talk two weeks before,
- an advanced draft of your talk one week before,
- a substantial draft of your paper three weeks after it,
- the final version of your paper until March 5
Please note that most of the papers have been linked to their official online copy. You can access the fulltext only from machines that have a campus network IP and so benefit from the Nationallizenz. Machines on the campus network should be fine, including the student PCs of the CIP pool. If you are using your laptop on the university WLAN, it should work, too. You may or may not be lucky to find freely available preprints using a search engine. Please send an email if you still have problems accessing the papers.
- Gerard J. Holzmann: Design and validation of computer protocols (Upper Saddle River, NJ: Prentice-Hall, Inc., 1991), ISBN 0-13-539925-4
- Richard Lai, Ajin Jirachiefpattana: Communication Protocol Specification and Verification (Boston: Kluwer Academic Publishers, 1998)
- C. A. Sunshine: Communication protocol modeling (Dedham, Mass: Artech House, 1981), ISBN 0890060975
- Kenneth L. McMillan: Symbolic Model Checking (1993), ISBN 0792393805
- Robert P. Kurshan: Computer Aided Verification of Coordinating Processes (Princeton Univ. Press, 1995), ISBN 0691034362
- Behcet Sarikaya: Principles of Protocol Engineering and Conformance Testing (Ellis Horwood, 1993), ISBN 013012642X
- Hartmut König: Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprodokollen (Vieweg+Teubner, 2003), ISBN 3519004542