The Story Thus Far

Table of Contents

PPT Slide

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

PPT Slide

Initial Telephone Net

Framing: Event

This Really Means ...

Call

Example

Example

Hangup

Busy

Reasoning about the Specification

Last Slide

PPT Slide

The Fuzz Type Checker

PPT Slide

PPT Slide

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html