Computers & Internet Books:

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Format

Paperback / softback

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Partial-Order Methods for the Verification of Concurrent Systems
Save $89.00
$139.99 was $228.99
or 4 payments of $35.00 with Learn more
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 2-3 weeks

Availability

Delivering to:

Estimated arrival:

  • Around 13-19 December using Express Delivery
    Mighty Ape can deliver this product within 1-2 business days (usually overnight) to urban centres across Australia, and some remote areas. Learn more
  • Around 14-21 December using standard courier delivery

Description

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.
Release date Australia
January 24th, 1996
Contributor
Edited by Patrice Godefroid
Country of Publication
Germany
Edition
1996 ed.
Illustrations
IV, 143 p.
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Pages
143
Dimensions
156x234x8
ISBN-13
9783540607618
Product ID
2827368

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

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...