Temporal Verification of Reactive Systems

Name: Temporal Verification of Reactive Systems
SKU: 5805830
Price: 298.00 NZD
Availability: InStock

Safety

By:

Format:

Hardback

Show Hide Adult Content

$298.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $74.50 with Afterpay Learn more

6 weekly interest-free payments of $49.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

Description

This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches based on model checking. All researchers and students interested in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems. An educational version of the Stanford Temporal Prover (STeP), a tool which supports the verification of reactive systems, is available for use with this book.

Release date NZ

August 4th, 1995

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Illustrations

XVIII, 512 p.

Pages

512

Dimensions

178x254x30

ISBN-13

9780387944593

Product ID

5805830

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here