Author:
Ivrii Alexander,Gurfinkel Arie
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09
3. Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-04
4. Searching for i-Good Lemmas to Accelerate Safety Model Checking;Computer Aided Verification;2023
5. 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