An Introduction to Practical Formal Methods Using Temporal Logic

4 avg rating
( 1 ratings by Goodreads )
 
9780470027882: An Introduction to Practical Formal Methods Using Temporal Logic

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing 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 basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to 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. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability.

  • Models temporal notions and uses them to analyze computational systems
  • Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation
  • Introduces and explains freely available tools based on temporal logics and shows how these can be applied
  • Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.

"synopsis" may belong to another edition of this title.

From the Back Cover:

An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Department of Computer Science, University of Liverpool, UK

ISBN: 9780470027882

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing 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 basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to 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. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability.

  • Models temporal notions and uses them to analyze computational systems
  • Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation
  • Introduces and explains freely available tools based on temporal logics and shows how these can be applied
  • Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.

Review:

“The strength of the book is the nice mixture of a pleasant to read and gentle presentation of the underlying concepts together with detailed tool descriptions (focused on a user's point of view). This book is perfectly suited for a course at senior undergraduate or beginning graduate level.”  (Zentralblatt MATH, 1 December 2012)

"I highly recommend this book, both for formal methods in general and for temporal logic in particular. It will remain within my easy reach for a long time." (Computing Reviews, 1 December 2011)

 

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Michael Fisher
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Paperback Quantity Available: 1
Seller:
LOCALBOOKS LLC
(BOLINGBROOK, IL, U.S.A.)
Rating
[?]

Book Description Paperback. Book Condition: New. Brand new, US edition, ship within 24 hours with tracking No. book. Bookseller Inventory # 31703

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 86.62
Convert Currency

Add to Basket

Shipping: US$ 9.99
Within U.S.A.
Destination, Rates & Speeds

2.

Fisher, Michael
Published by Somerset, New Jersey, U.S.A.: John Wiley & Sons Inc (2009)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover Quantity Available: 3
Seller:
LINDABOOK
(Taipei, TP, Taiwan)
Rating
[?]

Book Description Somerset, New Jersey, U.S.A.: John Wiley & Sons Inc, 2009. Hardcover. Book Condition: New. Ship out 1-2 business day,Brand new,US edition, Free tracking number usually 2-4 biz days delivery to worldwide Same shipping fee with US, Canada,Europe country, Australia, item will ship out from either LA or Asia, ht. Bookseller Inventory # ABE-6076184844

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 86.72
Convert Currency

Add to Basket

Shipping: US$ 9.90
From Taiwan to U.S.A.
Destination, Rates & Speeds

3.

Michael Fisher
Published by John Wiley and Sons Ltd, United States (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover First Edition Quantity Available: 10
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description John Wiley and Sons Ltd, United States, 2011. Hardback. Book Condition: New. 1. Auflage. Language: English . Brand New Book. The name temporal logic may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing 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 basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to 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. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. * Models temporal notions and uses them to analyze computational systems * Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation * Introduces and explains freely available tools based on temporal logics and shows how these can be applied * Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book. Bookseller Inventory # AAH9780470027882

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 103.62
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Michael Fisher
Published by John Wiley and Sons Ltd, United States (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover First Edition Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description John Wiley and Sons Ltd, United States, 2011. Hardback. Book Condition: New. 1. Auflage. Language: English . Brand New Book. The name temporal logic may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing 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 basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to 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. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. * Models temporal notions and uses them to analyze computational systems * Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation * Introduces and explains freely available tools based on temporal logics and shows how these can be applied * Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book. Bookseller Inventory # AAH9780470027882

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 104.11
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Michael Fisher
Published by Wileyand#8211;Blackwell (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Wileyand#8211;Blackwell, 2011. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # FW-9780470027882

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 93.96
Convert Currency

Add to Basket

Shipping: US$ 12.13
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Michael Fisher
Published by Wiley 2011-04-18, Hoboken, N.J. (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Wiley 2011-04-18, Hoboken, N.J., 2011. hardback. Book Condition: New. Bookseller Inventory # 9780470027882

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 107.92
Convert Currency

Add to Basket

Shipping: US$ 8.09
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Michael Fisher (University of Liverpool, UK)
Published by John Wiley and Sons
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Quantity Available: > 20
Seller:
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description John Wiley and Sons. Book Condition: New. Brand New. Bookseller Inventory # 0470027886

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 114.10
Convert Currency

Add to Basket

Shipping: US$ 3.50
Within U.S.A.
Destination, Rates & Speeds

8.

Michael Fisher
Published by Wiley-Blackwell
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover Quantity Available: > 20
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Wiley-Blackwell. Hardcover. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9780470027882

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 114.71
Convert Currency

Add to Basket

Shipping: US$ 9.35
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Michael Fisher
Published by Wiley (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Wiley, 2011. Hardcover. Book Condition: New. book. Bookseller Inventory # M0470027886

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 140.42
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

Fisher, Michael
Published by Wiley (2011)
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Wiley, 2011. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110470027886

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 139.06
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book