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
View all copies of this ISBN edition:
 
 

The name "temporal logic" may sound complex and daunting; but whilethey describe potentially complex scenarios, temporal logics areoften based on a few simple, and fundamental, concepts -highlighted in this book. An Introduction to Practical FormalMethods Using Temporal Logic provides an introduction to formalmethods based on temporal logic, for developing and testing complexcomputational systems. These methods are supported by manywell-developed tools, techniques and results that can be applied toa wide range of systems.

Fisher begins with a full introduction to the subject, coveringthe basics of temporal logic and using a variety of examples,exercises and pointers to more advanced work to help clarify andillustrate the topics discussed. He goes on to describe how thislogic can be used to specify a variety of computational systems,looking at issues of linking specifications, concurrency,communication and composition ability. He then analyses temporalspecification techniques such as deductive verification,algorithmic verification, and direct execution to develop andverify computational systems. The final chapter on case studiesanalyses the potential problems that can occur in a range ofengineering applications in the areas of robotics, railwaysignalling, hardware design, ubiquitous computing, intelligentagents, and information security, and explains how temporal logiccan improve their accuracy and reliability.

  • Models temporal notions and uses them to analyze computationalsystems
  • Provides a broad approach to temporal logic across many formalmethods - including specification, verification andimplementation
  • Introduces and explains freely available tools based ontemporal logics and shows how these can be applied
  • Presents exercises and pointers to further study in eachchapter, as well as an accompanying website providing links toadditional systems based upon temporal logic as well as additionalmaterial related to the book.

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

From the Back Cover:

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

ISBN: 9780470027882

The name "temporal logic" may sound complex and daunting; butwhile they describe potentially complex scenarios, temporal logicsare often based on a few simple, and fundamental, concepts -highlighted in this book. An Introduction to Practical FormalMethods Using Temporal Logic provides an introduction to formalmethods based on temporal logic, for developing and testing complexcomputational systems. These methods are supported by manywell-developed tools, techniques and results that can be applied toa wide range of systems.

Fisher begins with a full introduction to the subject, coveringthe basics of temporal logic and using a variety of examples,exercises and pointers to more advanced work to help clarify andillustrate the topics discussed. He goes on to describe how thislogic can be used to specify a variety of computational systems,looking at issues of linking specifications, concurrency,communication and composition ability. He then analyses temporalspecification techniques such as deductive verification,algorithmic verification, and direct execution to develop andverify computational systems. The final chapter on case studiesanalyses the potential problems that can occur in a range ofengineering applications in the areas of robotics, railwaysignalling, hardware design, ubiquitous computing, intelligentagents, and information security, and explains how temporal logiccan improve their accuracy and reliability.

  • Models temporal notions and uses them to analyze computationalsystems
  • Provides a broad approach to temporal logic across many formalmethods - including specification, verification andimplementation
  • Introduces and explains freely available tools based ontemporal logics and shows how these can be applied
  • Presents exercises and pointers to further study in eachchapter, as well as an accompanying website providing links toadditional systems based upon temporal logic as well as additionalmaterial related to the book.

About the Author:

Michael Fisher, Department of Computer Science, University of Liverpool, Liverpool
Michael Fisher is currently Professor of Computer Science at the University of Liverpool. He also heads the Logic and Computation research group and is Director of the Liverpool Verification Laboratory. Having been an active member of the research community for over 20 years, Professor Fisher is internationally recognised for his research into logic and computer science, particularly temporal verification, automated reasoning, high-level programming languages and formal methods for multi-agent systems. This has also led him to be programme chair of the International Symposium on Temporal Representation and Reasoning in 2004, and a member of the steering committee for this event. He has co-edited several books, including Advances in Temporal Logic (Kluwer, 2000), Foundations and Applications of Multi-Agent Systems (Springer-Verlag, 2002), Temporal Representation and Reasoning (IEEE Computer Society Press, 2002) and Handbook of Temporal Reasoning in Artificial Intelligence (Elsevier, 2005).

"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. Condition: New. Brand new, US edition, ship within 24 hours with tracking No. book. Seller Inventory # 31703

More information about this seller | Contact this seller

Buy New
US$ 76.72
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. 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. Seller Inventory # ABE-6076184844

More information about this seller | Contact this seller

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:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description John Wiley and Sons Ltd, United States, 2011. Hardback. 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. Seller Inventory # AAH9780470027882

More information about this seller | Contact this seller

Buy New
US$ 101.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. 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. Seller Inventory # AAH9780470027882

More information about this seller | Contact this seller

Buy New
US$ 104.21
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. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # FW-9780470027882

More information about this seller | Contact this seller

Buy New
US$ 92.87
Convert currency

Add to Basket

Shipping: US$ 11.75
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Michael Fisher (author)
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. Condition: New. Seller Inventory # 9780470027882

More information about this seller | Contact this seller

Buy New
US$ 103.56
Convert currency

Add to Basket

Shipping: US$ 9.79
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. Condition: New. Brand New. Seller Inventory # 0470027886

More information about this seller | Contact this seller

Buy New
US$ 114.10
Convert currency

Add to Basket

Shipping: US$ 3.60
Within U.S.A.
Destination, rates & speeds

8.

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

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

More information about this seller | Contact this seller

Buy New
US$ 140.22
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

9.

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:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description John Wiley and Sons Ltd, United States, 2011. Hardback. 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. Seller Inventory # BTE9780470027882

More information about this seller | Contact this seller

Buy New
US$ 145.84
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

MICHAEL FISHER
ISBN 10: 0470027886 ISBN 13: 9780470027882
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 2011. Hardback. Condition: NEW. 9780470027882 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0778964

More information about this seller | Contact this seller

Buy New
US$ 148.02
Convert currency

Add to Basket

Shipping: US$ 10.42
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book