Author:
Feldman Yotam M. Y.,Wilcox James R.,Shoham Sharon,Sagiv Mooly
Publisher
Springer International Publishing
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a general methodology for formal verification on spiking neural P systems;Theoretical Computer Science;2024-10
2. mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic;Lecture Notes in Computer Science;2024
3. Message Chains for Distributed System Verification;Proceedings of the ACM on Programming Languages;2023-10-16
4. Performal: Formal Verification of Latency Properties for Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
5. Multi-phase invariant synthesis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07