Partial order methods verification (12 risultati)

Condizione: New. In.

Condizione: New.

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Hardcover. Condizione: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.

Condizione: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . .…

Condizione: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . . Books ship from the US and Ireland.…

Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.

Condizione: New. In English.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. Partial-Order Methods for the Verification of Concurrent Systems | An Approach to the State-Explosion Problem | Patrice Godefroid | Taschenbuch | iv | Englisch | 1996 | Springer | EAN 9783540607618 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …