Verification-based software-fault detection

Name: Verification-based software-fault detection
Brand: Karlsruher Institut Fur Technologie
SKU: 9783866446762
Price: 36.79 EUR
Availability: InStock

Автор: Christoph David Gladisch

Език:

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

Издател: Karlsruher Institut Fur Technologie

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

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

36.79 € 71.95 лв

Software is used in many safety- and security-critical systems. Software development is, however, an...

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

Автор

Christoph David Gladisch

Език

Английски език

Корици

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

Издадена

2014

страници

292

EAN

9783866446762

Enbook ID

01877599

Издател

Karlsruher Institut Fur Technologie

Теглоt

467

Размери

170 x 244 x 15

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

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Verification-based software-fault detection

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

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

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

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