Author:
Sagiv Mooly,Reps Thomas,Wilhelm Reinhard
Cited by
162 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20
2. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05
3. DSGEN;Proceedings of the ACM International Conference on Supercomputing;2021-06-03
4. No Crash, No Exploit: Automated Verification of Embedded Kernels;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05
5. Analogy-making as a Core primitive in the software engineering toolbox;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17