Quick Index

• _____ .
• The Story Thus Far .
• Relating Birthday Book to State Machines .
• AddBirthday .
• RAddBirthday .
• Lecture Outline .
• Telephones .
• Requests for Connection .
• Connections .
• Operations .
• State Space .
• Example .
• Pairwise disjoint sets .
• What's Wrong With This Net? .
• An Inefficient Net .
• Efficient Networks .
• _____ .
• Initial Telephone Net .
• Framing: Event .
• This Really Means ... .
• Call .
• Example .
• Example .
• Hangup .
• Busy .
• Reasoning about the Specification .
• The Fuzz Type Checker .
• Last Slide .
• _____ .
• _____ .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.