This book provides an introduction to formal methods based on temporal logic, for developing and analysing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems.
Fisher begins with a full introduction to the subject, covering the basic of temporal logic and using a variety of examples, exercise and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability.