Author:
Barrett Clark W.,Dill David L.,Levitt Jeremy R.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Leveraging Datapath Propagation in IC3 for Hardware Model Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-07
2. A bounded symbolic-size model for symbolic execution;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
3. EBV: Encoded Binary Vector for Efficient Information Retrieval, Query Processing and Recommendation for Travel and Tourism Domain;Arabian Journal for Science and Engineering;2020-10-07
4. Fast bit-vector satisfiability;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13
5. What we talk about when we talk about pcap expressions;Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages;2019-02-17