Author:
Vizel Yakir,Gurfinkel Arie
Publisher
Springer International Publishing
Cited by
34 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. Avoiding the Shoals - A New Approach to Liveness Checking;Lecture Notes in Computer Science;2024
3. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning;Lecture Notes in Computer Science;2024
4. 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
5. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09