Satisfiability & Verification

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

From Core Algorithms to Novel Application Domains

Szerző: Marc Herbstritt

Nyelv:

Kötés: Puha kötésű

Kiadó: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

30 215 Ft

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

Információk a könyvről

Szerző

Marc Herbstritt

Nyelv

Német

Kötés

Könyv - Puha kötésű

Kiadva

2009

oldal

236

EAN

9783838101026

ISBN

3838101022

Enbook ID

06959931

Kiadó

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Súly

322

Méretek

152 x 229 x 13

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Satisfiability & Verification

From Core Algorithms to Novel Application Domains

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták