Author:
Clarke E.,Gupta A.,Strichman O.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect;ACM Transactions on Design Automation of Electronic Systems;2024-06-21
2. Towards an Effective and Interpretable Refinement Approach for DNN Verification;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
3. SAT-Reach
: A Bounded Model Checker for Affine Hybrid Systems;ACM Transactions on Embedded Computing Systems;2023-01-24
4. Computing MUS-Based Inconsistency Measures;Logics in Artificial Intelligence;2023
5. Machine learning Solutions to Model Checking: A Brief Literature Review;2022 International Symposium on iNnovative Informatics of Biskra (ISNIB);2022-12-07