Debugging Unrealizable Specifications with Model-Based Diagnosis.
Robert KönighoferGeorg HofferekRoderick BloemPublished in: Haifa Verification Conference (2010)
Keyphrases
- model based diagnosis
- fault localization
- dynamic systems
- discrete event systems
- diagnostic reasoning
- model based reasoning
- consistency based diagnosis
- hardware designs
- digital circuits
- physical systems
- formal specification
- constraint programming
- failure diagnosis
- model checking
- diagnostic systems
- diagnostic process
- fault models
- objective function
- dynamical systems
- fault model
- computer systems
- multi agent