Author:
Vediramana Krishnan Hari Govind,Vizel Yakir,Ganesh Vijay,Gurfinkel Arie
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;G Audemard,2016
2. Belov, A., Marques-Silva, J.: MUSer2: an efficient MUS extractor. JSAT 8(3/4), 123–128 (2012)
3. Berryhill, R., Ivrii, A., Veira, N., Veneris, A.G.: Learning support sets in IC3 and Quip: the good, the bad, and the ugly. In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, 2–6 October 2017, pp. 140–147 (2017)
4. Lecture Notes in Computer Science;A Biere,1999
5. Biere, A., van Dijk, T., Heljanko, K.: Hardware model checking competition 2017. In: Stewart, D., Weissenbacher, G. (eds.) 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, 2–6 October 2017, p. 9. IEEE (2017)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09
2. Interpolation Results for Arrays with Length and MaxDiff;ACM Transactions on Computational Logic;2023-06-09
3. Searching for i-Good Lemmas to Accelerate Safety Model Checking;Computer Aided Verification;2023
4. Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30
5. Full-program induction: verifying array programs sans loop invariants;International Journal on Software Tools for Technology Transfer;2022-09-29