Partial-Order Methods for the Verification of Concurrent Systems: An Approach to

Description: Partial-Order Methods for the Verification of Concurrent Systems by Patrice Godefroid 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This monograph is a revised version of the authors 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. Notes Springer Book Archives Table of Contents Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions. Promotional Springer Book Archives Details ISBN3540607617 Author Patrice Godefroid Short Title PARTIAL-ORDER METHODS FOR THE Series Lecture Notes in Computer Science Language English ISBN-10 3540607617 ISBN-13 9783540607618 Media Book Format Paperback Series Number 1032 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Patrice Godefroid Edition Description 1996 Edition 96199th Pages 143 Subtitle An Approach to the State-Explosion Problem Illustrations IV, 143 p. DOI 10.1007/b58297;10.1007/3-540-60761-7;10.1007/978-3-540-49444-7 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Year 1996 Publication Date 1996-01-24 DEWEY 004.35 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96262281;

Price: 115.04 AUD

Location: Melbourne

End Time: 2025-02-05T05:53:19.000Z

Shipping Cost: 9.19 AUD

Product Images

Item Specifics

Restocking fee: No

Return shipping will be paid by: Buyer

Returns Accepted: Returns Accepted

Item must be returned within: 30 Days

ISBN-13: 9783540607618

Book Title: Partial-Order Methods for the Verification of Concurrent Systems

Number of Pages: 143 Pages

Language: English

Publication Name: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg

Publication Year: 1996

Subject: Computer Science

Item Height: 235 mm

Item Weight: 510 g

Type: Textbook

Author: Patrice Godefroid

Item Width: 155 mm

Format: Paperback