Efficient suspect selection in unreachable state diagnosis

DOI10.1007/S10472-018-9578-XzbMATH Open1393.94974OpenAlexW2793317393MaRDI QIDQ722099FDOQ722099

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

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

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)

Cites Work

• Title not available (Why is that?)
• SAT-Based Model Checking without Unrolling
• Efficient suspect selection in unreachable state diagnosis

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)