Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies.
Robert KönighoferGeorg HofferekRoderick BloemPublished in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
- model based diagnosis
- formal specification
- model checking
- fault localization
- object oriented design
- model based reasoning
- dynamic systems
- specification languages
- temporal logic
- hardware designs
- data abstraction
- discrete event systems
- diagnostic reasoning
- formal methods
- consistency based diagnosis
- physical systems
- reverse engineering
- repair actions
- formal specification language
- fault model
- bayesian networks
- diagnostic process
- constraint programming
- protocol specification
- functional dependencies