Verification-based software-fault detection

Lieferzeit: Lieferbar innerhalb 14 Tagen

40,00 €

inkl. 7 % MwSt. zzgl. Versandkosten

ISBN:	3866446764
ISBN 13:	9783866446762
Autor:	Gladisch, Christoph David
Verlag:	Karlsruher Institut für Technologie
Umfang:	290 S.
Erscheinungsdatum:	22.08.2014
Auflage:	1/2014
Format:	1.6 x 24 x 17
Gewicht:	497 g
Produktform:	Kartoniert
Einband:	KT

Artikelnummer: 7139927 Kategorie: Sonstiges

Beschreibung

Beschreibung

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.

Das könnte Ihnen auch gefallen …

Diagnosis, Fault Detection & Tolerant Control
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering: Specification, Implementation, Verification
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Essential Spectrum-based Fault Localization
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Observer-Based Fault Estimation Techniques
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Diagnosis in Nonlinear Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modeling, Fault Detection and Isolation in Photovoltaic System
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools for Practical Software Verification
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection Schemes for Switched Systems
45,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault detection and isolation in nonlinear systems
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Fault Tolerance
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Challenges of Software Verification
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Distributed Fault-Tolerant Detection in Wireless Sensor Networks
29,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Diagnosis, Fault Detection & Tolerant Control
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Observer-Based Fault Detection and Estimation of Rolling Element Bearing Systems
45,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Fault-Tolerant Control for Nonlinear Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Fault Prediction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Efficient Fault Detection of Distribution Transformers
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Open Source Software: Quality Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Diagnosis in Industrial Systems
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Isolation
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concise Guide to Software Verification
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deductive Software Verification: Future Perspectives
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Religion und die Philosophie in ihrer weltgeschichtlichen Entwickelung und Stellung zu einander
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
SPIN Model Checking and Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software-Implemented Hardware Fault Tolerance
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification of Object-Oriented Software
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Model-Based Detection and Isolation of Faults of Diesel Engines
89,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering: Specification, Implementation, Verification
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Fault Detection and Correction: Modeling and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Concurrent Embedded Software
15,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Diagnosis and Detection
155,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Model-Based Fault Diagnosis Techniques
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Diagnosis
129,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Data-Driven Fault Detection for Industrial Processes
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Anaxagoras und die Israeliten
18,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Religion und die Philosophie in ihrer weltgeschichtlichen Entwickelung und Stellung zu einander
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VOT – Mit nur drei Buchstaben Ideen visualisieren
22,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Auxiliary Signal Design in Fault Detection and Diagnosis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Introducing Software Verification with Dafny Language
35,30 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Essential Spectrum-based Fault Localization
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Fault Prediction
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Validation
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Anaxagoras und die Israeliten
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Model-Based Fault Diagnosis
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Constraint-Based Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection Systems Integrated to Fault-Tolerant Control
79,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Validation
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Contraint-Based Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault detection in multivariable systems using directional properties
47,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection
175,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software, Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Solar Filament Detection, Merging, Verification and Tracking
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Diagnosis in Nonlinear Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Universal Verification Methodology Based Verification Environment
36,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software, Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Embedded Software Verification and Debugging
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Flight Data Measurement
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Object-Oriented Software
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Einleitung in das Verständniß der Weltgeschichte
89,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Deductive Software Verification – The KeY Book
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault detection & isolation unit
68,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection in Automotive Network Embedded Electronics Systems
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Power Transformer’s Winding Fault Detection
74,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sliding Mode Observer Based Robust Fault Detection and Isolation
32,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection in Mechanical Systems using Vibration Signals
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Open Source Software: Quality Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Empirical Software Engineering and Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ann Based Fault Detection, Classification and Distance Location
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Fault-Tolerant Control Using Sliding Modes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
XV. Programm des Koöigl. Wilhelms-Gymnasiums zu Krotoschin zu Ostern 1869
12,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification of Temporal Properties in Embedded Software
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Embedded Software Verification and Debugging
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Diagnosis Through Signed Diagraph
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Model-Based Fault Diagnosis
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Fault-tolerant Control Using Sliding Modes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Testing Methods For Fault Detection In Electronic Circuits
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Anaxagoras und die Israeliten
34,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fault Detection and Isolation
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Einleitung in das Verständniß der Weltgeschichte
69,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software-Implemented Hardware Fault Tolerance
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Verification-based software-fault detection

Beschreibung

Das könnte Ihnen auch gefallen …

Diagnosis, Fault Detection & Tolerant Control

Software Engineering: Specification, Implementation, Verification

Essential Spectrum-based Fault Localization

Observer-Based Fault Estimation Techniques

Fault Detection and Diagnosis in Nonlinear Systems

Modeling, Fault Detection and Isolation in Photovoltaic System

Tools for Practical Software Verification

Fault Detection Schemes for Switched Systems

Fault detection and isolation in nonlinear systems

Numerical Software Verification

Software Fault Tolerance

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Challenges of Software Verification

Distributed Fault-Tolerant Detection in Wireless Sensor Networks

Diagnosis, Fault Detection & Tolerant Control

Observer-Based Fault Detection and Estimation of Rolling Element Bearing Systems

Fault Detection and Fault-Tolerant Control for Nonlinear Systems

Software Fault Prediction

Efficient Fault Detection of Distribution Transformers

Hardware and Software: Verification and Testing

Open Source Software: Quality Verification

Fault Detection and Diagnosis in Industrial Systems

Fault Detection and Isolation

Concise Guide to Software Verification

Deductive Software Verification: Future Perspectives

Numerical Software Verification

Numerical Software Verification

Die Religion und die Philosophie in ihrer weltgeschichtlichen Entwickelung und Stellung zu einander

Software Verification

Hardware and Software: Verification and Testing

SPIN Model Checking and Software Verification

Software-Implemented Hardware Fault Tolerance

Verification of Object-Oriented Software

Model-Based Detection and Isolation of Faults of Diesel Engines

Software Engineering: Specification, Implementation, Verification

Software Fault Detection and Correction: Modeling and Applications

Formal Verification of Concurrent Embedded Software

Fault Diagnosis and Detection

Model-Based Fault Diagnosis Techniques

Fault Detection and Diagnosis

Data-Driven Fault Detection for Industrial Processes

Anaxagoras und die Israeliten

Die Religion und die Philosophie in ihrer weltgeschichtlichen Entwickelung und Stellung zu einander

Software Verification

VOT – Mit nur drei Buchstaben Ideen visualisieren

Auxiliary Signal Design in Fault Detection and Diagnosis

Introducing Software Verification with Dafny Language

Essential Spectrum-based Fault Localization

Systems and Software Verification

Hardware and Software: Verification and Testing

Software Fault Prediction

Software Verification and Validation

Anaxagoras und die Israeliten

Model-Based Fault Diagnosis

Constraint-Based Verification

Fault Detection Systems Integrated to Fault-Tolerant Control

Software Verification and Validation

Contraint-Based Verification

Hardware and Software: Verification and Testing

Fault detection in multivariable systems using directional properties

Fault Detection

Hardware and Software, Verification and Testing

Solar Filament Detection, Merging, Verification and Tracking

Fault Detection and Diagnosis in Nonlinear Systems

Software Verification and Analysis

Universal Verification Methodology Based Verification Environment

Software Verification and Analysis

Hardware and Software, Verification and Testing

Embedded Software Verification and Debugging

Fault Detection and Flight Data Measurement

Formal Verification of Object-Oriented Software

Einleitung in das Verständniß der Weltgeschichte

Hardware and Software: Verification and Testing

Deductive Software Verification – The KeY Book

Fault detection & isolation unit

Fault Detection in Automotive Network Embedded Electronics Systems