Model-based diagnosis of hardware designs

DOI10.1016/S0004-3702(99)00034-XzbMath0996.68210OpenAlexW1986146602MaRDI QIDQ1606301

Gerhard Friedrich, Markus Stumptner, Franz Wotawa

Publication date: 24 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00034-x

zbMATH Keywords

hardware design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Mathematical problems of computer architecture (68M07)

Related Items

Model-based reasoning: a principled approach for software engineering ⋮ Finding and fixing faults ⋮ Automated debugging based on a constraint model of the program and a test case ⋮ Diagnosing tree-structured systems ⋮ On the relationship between model-based debugging and program slicing ⋮ Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives ⋮ Consistency-based diagnosis of configuration knowledge bases