Efficient suspect selection in unreachable state diagnosis

DOI10.1007/S10472-018-9578-XMaRDI QIDQ722099zbMATH OpenOpenAlexFDO

Authors Ryan Berryhill, Andreas G. Veneris

Publication date 20 July 2018

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-018-9578-x

zbMATH Keywords

verificationmodel checkingdiagnosisdebug

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• Model-based diagnosis of hardware designs
• Debugging design errors by using unsatisfiable cores
• Approximate model-based diagnosis using greedy stochastic search
• Sequential diagnosis by abstraction
• scientific article; zbMATH DE number 1670790

Cites work

• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• Efficient suspect selection in unreachable state diagnosis
• SAT-Based Model Checking without Unrolling

Cited in

(1)

• Efficient suspect selection in unreachable state diagnosis

This page was built for publication: Efficient suspect selection in unreachable state diagnosis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q722099)