Finding and fixing faults

DOI10.1016/j.jcss.2011.05.005zbMath1263.68112MaRDI QIDQ414907

Stefan Staber, Andreas Griesmayer, Roderick Bloem, Barbara Jobstmann

Publication date: 11 May 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.05.005

zbMATH Keywords

verification; linear temporal logic; debugging; games; fault correction; fault localization

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

91A80: Applications of game theory

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

A game-theoretic approach to fault diagnosis and identification of hybrid systems, Program repair without regret, Vacuity in synthesis, CTL update of Kripke models through protections, Synthesizing Non-Vacuous Systems, Graph Games and Reactive Synthesis, Symbolic Model Checking in Non-Boolean Domains

Uses Software

• CBMC
• CodeSurfer
• VIS

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• On observability of discrete-event systems
• The directed subgraph homeomorphism problem
• Myths about the mutual exclusion problem
• Model-based diagnosis of hardware designs
• Enhancing model checking in verification by AI techniques
• Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
• An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
• Fault Localization and Correction with QBF
• Church's Problem Revisited
• On the synthesis of strategies in infinite games
• Lazy abstraction
• Deterministic generators and games for Ltl fragments
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Correct Hardware Design and Verification Methods
• Computer Aided Verification
• Repair of Boolean Programs with an Application to C
• Correct Hardware Design and Verification Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item