Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Handbook of Model Checking (Hardcover, 1st ed. 2018)
Loot Price: R3,603
Discovery Miles 36 030
|
|
Handbook of Model Checking (Hardcover, 1st ed. 2018)
Expected to ship within 12 - 17 working days
|
Donate to Against Period Poverty
Total price: R3,623
Discovery Miles: 36 230
|
Model checking is a computer-assisted method for the analysis of
dynamical systems that can be modeled by state-transition systems.
Drawing from research traditions in mathematical logic, programming
languages, hardware design, and theoretical computer science, model
checking is now widely used for the verification of hardware and
software in industry. The editors and authors of this handbook are
among the world's leading researchers in this domain, and the 32
contributed chapters present a thorough view of the origin, theory,
and application of model checking. In particular, the editors
classify the advances in this domain and the chapters of the
handbook in terms of two recurrent themes that have driven much of
the research agenda: the algorithmic challenge, that is, designing
model-checking algorithms that scale to real-life problems; and the
modeling challenge, that is, extending the formalism beyond Kripke
structures and temporal logic. The book will be valuable for
researchers and graduate students engaged with the development of
formal methods and verification tools.
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.