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.
- Verifying Fluke IPC
[Text]
- Fluke Inter-Process Communication
[Text]
- What to Verify
[Text]
- Fluke Core Abstractions
[Text]
- Implementation Issues
[Text]
- Tests Run
[Text]
- Lesson Learned
[Text]
- SPIN gripes
[Text]
Patrick Tullmann
<tullmann@cs.utah.edu>