Verification-based software-fault detection

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

Autor: Christoph David Gladisch

Jazyk:

Väzba: Brožovaná

Vydavateľ: Karlsruher Institut Fur Technologie

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

34.61 €

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

Informácie o knihe

Autor

Christoph David Gladisch

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

292

EAN

9783866446762

Enbook ID

01877599

Vydavateľ

Karlsruher Institut Fur Technologie

Hmotnosť

467

Rozmery

170 x 244 x 15

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verification-based software-fault detection

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež