Зображення обкладинки

Verification-based software-fault detection

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 technolo...

Повний опис

Збережено в:

Бібліографічні деталі
Автор:	Gladisch, Christoph David (auth)
Формат:	Електронний ресурс Частина з книги
Мова:	Англійська
Опубліковано:	KIT Scientific Publishing 2011
Предмети:	Fault Detection Model Generation Theorem Proving Test Generation Dynamic Logic
Онлайн доступ:	DOAB: download the publication DOAB: description of the publication
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
за авторством: Weiß, Benjamin
Опубліковано: (2011)

Fault Diagnosis and Detection
Опубліковано: (2017)

Early Detection of Faults in Induction Motors
Опубліковано: (2023)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
за авторством: Ugo Dal Lago
Опубліковано: (2018)

Algorithms for Fault Detection and Diagnosis
Опубліковано: (2021)

Marine Tidal and Wave Energy Converters: Technologies, Conversions, Grid Interface, Fault Detection, and Fault-Tolerant Control
за авторством: Elbouchikhi, Elhoussin
Опубліковано: (2020)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Опубліковано: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Опубліковано: (2018)

Fault Detection and State Estimation in Automatic Control
Опубліковано: (2023)

Fault Detection and Diagnosis
Опубліковано: (2018)

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
за авторством: Wasserrab, Daniel
Опубліковано: (2011)

Data-Driven Fault Detection and Reasoning for Industrial Monitoring
за авторством: Wang, Jing
Опубліковано: (2022)

Data-Driven Fault Detection and Reasoning for Industrial Monitoring
за авторством: Wang, Jing
Опубліковано: (2022)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
за авторством: Amal Ahmed
Опубліковано: (2018)

Deep Learning-Based Machinery Fault Diagnostics
Опубліковано: (2022)

Sensors Fault Diagnosis Trends and Applications
Опубліковано: (2021)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
за авторством: Ahmed, Amal
Опубліковано: (2018)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
за авторством: Ahmed, Amal
Опубліковано: (2018)

Advanced Statistical Modeling, Forecasting, and Fault Detection in Renewable Energy Systems
Опубліковано: (2020)

Advanced Fault Diagnosis and Health Monitoring Techniques for Complex Engineering Systems
Опубліковано: (2023)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубліковано: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубліковано: (2021)

Uncertainty Quantification and Model Calibration
Опубліковано: (2017)

Fault Detection, Diagnosis and Prognosis
Опубліковано: (2020)

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Опубліковано: (2023)

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Опубліковано: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Опубліковано: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Опубліковано: (2023)

Fault Detection
Опубліковано: (2010)

Development of an Air Coil Superconducting Fault Current Limiter
за авторством: Näckel, Oliver
Опубліковано: (2016)

Machine Health Monitoring and Fault Diagnosis Techniques
Опубліковано: (2023)

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
за авторством: Omri, Fouad ben Nasr
Опубліковано: (2018)

Large Grid-Connected Wind Turbines
за авторством: Muyeen, S M
Опубліковано: (2019)

Mathematics in Software Reliability and Quality Assurance
Опубліковано: (2022)

Die "dritte Generation" Rechte und Förderung von Kindern in Deutschland, Frankreich, Italien und Schweden
за авторством: Kaufmann, Otto
Опубліковано: (2014)

Analysis and recognition of human actions with flow features and temporal models
за авторством: Kühne, Hildegard
Опубліковано: (2014)

380 kV Superconducting Fault Current Limiter Feasibility Study
за авторством: Noe, Mathias
Опубліковано: (2023)

380 kV Superconducting Fault Current Limiter Feasibility Study
за авторством: Noe, Mathias
Опубліковано: (2023)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Опубліковано: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Опубліковано: (2021)