Copied Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Lige, 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Reading U.S. Latina Writers
$39.99
Uterine Adenomyosis
$109.99
Endoprothetik des Sprunggelenks
$269.00
Astronaut Annie
$7.46
The Hillsong Movement Examined
$159.99
Umrisse zu Gthes Hermann und Dorothea
$54.99
CCE: An Integration Platform for Distributed Manufacturing Applications
$109.99
The World of Mineral Deposits
$49.99
50 Years of DNA
$49.99
Modulare Unternehmensfhrung 1
$44.99
Womens Narratives and the Postmemory of Displacement in Central and Eastern Europe
$119.99
Germ-Free Biology Experimental and Clinical Aspects
$109.99
Peptides
$84.99
Artificial Life
$169.99
State of the Art in Applied Cryptography
$39.99
The Backstagers: The Backstagers and the Theater of the Ancients
$5.21
Urban Heritage Along the Silk Roads
$169.99
A Friend for Dragon: An Acorn Book (Dragon #1)
$3.74
Data Journalism in the Global South
$139.99
The Ethics and Economics of the Capability Approach
$99.00
konomie ohne Rtsel
$49.99
Innovation and Social Learning
$54.99
Gravity, Weight and Their Absence
$54.99
Interkulturelles Management
$44.99
Urban and Regional Planning in Turkey
$169.99
Betonpfahl System Mast
$59.99
The Dispute Over the Diaoyu/Senkaku Islands
$39.99
Advances in Soft Computing
$39.99
Computational Collective Intelligence
$54.99
Lorenz Oken Gesammelte Werke
$149.00
Handbook of Quantitative Supply Chain Analysis
$169.00
Jahresbericht ber die Beobachtungs - Ergebnisse
$59.99
Wahrnehmung der eigenen Prekaritt
$59.99
bergewicht und Adipositas bei Kindern und Jugendlichen
$69.99
Refractory Metal Systems
$549.99
Essays in Phenomenology
$54.99
Biochemistry of Nickel
$169.00
Devices Based on Low-Dimensional Semiconductor Structures
$219.99
Statistics and Data Analysis for Financial Engineering
$129.99
Financing Parking Facilities
$109.99
