Keywords Formal Verification;Model Checking;Eletronic Design Automation;Counterexample Explanation;Bug Localization;Counterexample Minimization;

• 形式化验证;模型检验;电子设计自动化;反例解释;错误定位;反例压缩;