Finding and fixing faults

DOI10.1016/j.jcss.2011.05.005zbMath1263.68112OpenAlexW1993529189MaRDI 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

verificationlinear temporal logicdebugginggamesfault correctionfault localization

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

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

Uses Software

• CBMC
• CodeSurfer
• VIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Finding and fixing faults