Author:
Godlin Benny,Strichman Ofer
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions;iFM 2023;2023-11-06
4. Timing Analysis of Embedded Software Updates;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30
5. Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09