Satisfiability & Verification

Name: Satisfiability & Verification
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838101026
Price: 82.19 EUR
Availability: InStock

From Core Algorithms to Novel Application Domains

Автор: Marc Herbstritt

Език:

Корици: С меки корици

Издател: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Наличност: Външен склад

Изпращаме след 5-8 дни

82.19 € 160.75 лв

The verification of systems to guarantee their§correct behavior is discussed in this book. The§mainl...

Информация за книгата

Автор

Marc Herbstritt

Език

Немски език

Корици

Книга - С меки корици

Издадена

2009

страници

236

EAN

9783838101026

ISBN

3838101022

Enbook ID

06959931

Издател

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Теглоt

322

Размери

152 x 229 x 13

Пълно описание

The verification of systems to guarantee their§correct behavior is discussed in this book. The§mainly applied algorithmic method is the model§checking technique combined with algorithms§for solving the satisfiability problem (short: SAT).§§SAT-based verification of discrete systems has become§one of the most effective technique within the last§10 years, such that industrial as well as academic§applications heavily rely on it.§§The book covers the whole range of a SAT-based tool§application. We propose extensions and concepts that§concentrate on the core of a SAT-solver. However,§these proposals are then transferred to novel§verification models. Moreover, we describe §approaches that incorporate the structure of§the problem to exploit knowledge gained during the§verification process on the level of the SAT-solver.§§The main focus of the book is on the verification of§incomplete system designs, which occur for example in§the early phase of a design. We describe various§SAT-based modeling concepts that vary regarding their§expressiveness and computational resources. The§proposed methods are evaluated experimentally to§guarantee their applicability in practice.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Satisfiability & Verification

From Core Algorithms to Novel Application Domains

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също