     Principles of the Spin Model Checker

          Mordechai (Moti) Ben-Ari

    Copyright Springer-Verlag London Limited, 2008


This archive contains figures, tables, etc. from the book in the form of
PDF presentations. It was created from the LaTeX source of the book
using the "powerdot" document class. The simplest options have been
used: the "wideslide" environment and the "simple" style. To build the
PDF from the LaTeX, the commands are:

  latex psmc-figures
  dvips psmc-figures
  ps2pdf psmc-figures.ps

The archive also contains PNG images of screenshots, state diagrams, etc.
that appear in the book.

The source code for the programs appears in a separate archive.
