Verification-based software-fault detection

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

Autor: Christoph David Gladisch

Jazyk:

Vazba: Brožovaná

Vydavatel: Karlsruher Institut Fur Technologie

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

790 Kč

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

Informace o knize

Autor

Christoph David Gladisch

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

292

EAN

9783866446762

Enbook ID

01877599

Vydavatel

Karlsruher Institut Fur Technologie

Hmotnost

467

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Verification-based software-fault detection

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také