The full version of this announcement is available.
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