Author:
Jain Himanshu,Kroening Daniel,Sharygina Natasha,Clarke Edmund
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking;Lecture Notes in Computer Science;2021
2. Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction;Communications in Computer and Information Science;2021
3. Word level property directed reachability;Proceedings of the 39th International Conference on Computer-Aided Design;2020-11-02
4. Instruction-Level Abstraction (ILA);ACM Transactions on Design Automation of Electronic Systems;2019-01-11
5. Infinite-state invariant checking with IC3 and predicate abstraction;Formal Methods in System Design;2016-09-23