[LA] ================================================ AMAST Links 02 07

          Temporal Verification of Reactive Systems:  Safety
                        Z. Manna and A. Pnueli

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207LA.txt

   1995;  512 pages, 172 illustrations.
   ISBN 0-387-94459-1 Hardcover $59.95
   Springer

  This book presents temporal logic as a means of specifying properties
of reactive systems and develops an extensive verification methodology
for proving that a system meets its safety specification.
  Readers are assumed to have some familiarity with programming and
basic concurrency concepts as well as first-order logic.  No previous
exposure to temporal logic is assumed since it is covered in the first
chapter.
  An educational version of the Stanford Temporal Prover (STeP), a tool
that supports the verification of reactive systems, is available for
use with this book.
  While being completely self-contained, the new volume is a sequel to
the previous volume, devoted to the specification of reactive systems
by temporal logic:
   The Temporal Logic of Reactive and Concurrent Systems: Specification
   Z. Manna, Stanford University, CA
   A. Pnueli, Weizmann Institute of Science, Rehovot, Israel
   1992; 427 pages, 96 illustrations
   ISBN 0-387-97664-7 Hardcover $49.95

  To order: 1-800-Springer, or e-mail orders@springer-ny.com,
or check the _web site_ at http://www.springer-ny.com