Efficient suspect selection in unreachable state diagnosis

DOI10.1007/S10472-018-9578-XzbMath1393.94974OpenAlexW2793317393MaRDI QIDQ722099

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

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

Related Items (1)

Efficient suspect selection in unreachable state diagnosis

Cites Work

• Efficient suspect selection in unreachable state diagnosis
• SAT-Based Model Checking without Unrolling
• Unnamed Item

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