Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Decidability of Parameterized Verification

Decidability of Parameterized Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031020117
Condition
New
Product Description

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n , whether, for all n , the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Italy and English Literature 17641930

$59.99

The Troubled Triangle

$54.99

Nostradamus: Modern Methods of Prediction, Modeling and Analysis of Nonlinear Systems

$169.99

Mixed Methods

$24.99

Non Invasive Diagnostic Techniques in Clinical Dermatology

$169.99

Creep Mechanics

$74.99

Collected Mathematical Papers

$54.99

Politikkompetenz ein Modell

$74.99

Principles of Flexible Endoscopy for Surgeons

$159.99

Govering for the Environment

$109.99

The Study of Fast Processes and Transient Species by Electron Pulse Radiolysis

$39.99

Nutritional Management of Cancer Treatment Effects

$169.99

Efficiency of Elementary Education in India

$54.99

Philosophical Problems of Statistical Inference

$109.99

Maths for Social Sciences

$54.99

Big Data Benchmarking

$34.99

Modelling Empty Container Repositioning Logistics

$159.99

Regional Advantage and Innovation

$109.99

Teaching and Measuring Cognitive Readiness

$109.99

European Train Control System (ETCS)

$39.99

Die Bundesrepublik in den achtziger Jahren

$59.99

Schreiben in der Wikipedia

$69.99

Basiswissen Public Relations

$49.99

Humans in Space

$54.99

Mercury

$169.99

Spectral Theory of Random Schrdinger Operators

$84.99

The U.S. Administrative State and the Protection of Environmental Crime Victims

$44.99

Discontinuity Analysis for Rock Engineering

$39.99

Die agrammatischen Sprachstrungen

$44.99

Plant Aquaporins

$189.00

The European Integration, Vol. 1

$89.00

Fine Structure of Parasitic Protozoa

$109.99

Towards Knowledge Portals

$109.99

Computer Vision Projects with PyTorch

$49.99

Parasitic-Aware Optimization of CMOS RF Circuits

$84.99

F.W.J. Schelling

$19.99

Intelligent Video Event Analysis and Understanding

$109.99

Society 5.0

$69.99

Literary Self-Translation in Hispanophone Contexts - La autotraduccin literaria en contextos de hab

$109.99

Die Anwendung vlkerrechtlicher Vertrge in China

$89.00