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
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
Uses Software
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