Verifying Fluke IPC

Patrick Tullmann, John McCorquodale, Ajay Chitturi, Godmar Back, Jeff Turner

University of Utah

This presentation is available in other forms: Postscript, and PowerPoint.

You may follow either the graphical (just .gif's of the slides) or the text only versions of the presentation. Or you can jump directly to a specific slide on the list below.

  1. Verifying Fluke IPC [Text]
  2. Fluke Inter-Process Communication [Text]
  3. What to Verify [Text]
  4. Fluke Core Abstractions [Text]
  5. Implementation Issues [Text]
  6. Tests Run [Text]
  7. Lesson Learned [Text]
  8. SPIN gripes [Text]
Patrick Tullmann <tullmann@cs.utah.edu>