|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing
|
Buy Now
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (Paperback, 1996 ed.)
Loot Price: R1,480
Discovery Miles 14 800
|
|
|
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1032
Expected to ship within 10 - 15 working days
|
This monograph is a revised version of the author's Ph.D. thesis,
submitted to the University of Li ge, 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
